Gergö Barany
Institute of Computer Languages
Vienna University of Technology

Gergö Barany

Institute of Computer Languages E185/1
Vienna University of Technology

Argentinierstraße 8 / 185
A-1040 Wien, Austria

e-Mail: gergo@complang.tuwien.ac.at
Tel.: (+43-1) 58801-58522
Fax: (+43-1) 58801-18598

About

I am a research assistant at the Institute of Computer Languages at Vienna University of Technology. I am employed to work in the Spyculative project on analysis and optimization of the Python interpreter. Previously I worked in the EPICOpt project on code generation for explicitly parallel processors, and in the ALL-TIMES project on timing analysis (see Projects below).

Research Interests

My general research interests include all sorts of program analysis and optimization topics, especially in the context of functional and logic programming. My current focus in code generation is on near-optimal integrated instruction scheduling and register allocation based on a PBQP formulation.

Publications

Some of my more interesting publications are:

G. Barany and A. Krall. "Optimal and Heuristic Global Code Motion for Minimal Spilling". 22nd International Conference on Compiler Construction (CC 2013), Rome, Italy, March 2013. [pdf] (The original publication will be available at www.springerlink.com.)
Slides presented in POPL 2013 Student Session: [pdf]
G. Barany. "Static and Dynamic Method Unboxing for Python". 6. Arbeitstagung Programmiersprachen (ATPS 2013), Aachen, Germany, February 2013. [pdf] (The original publication will appear in volume 215 of Lecture Notes in Informatics.)
Slides: [pdf]
R. Lezuo, G. Barany and A. Krall. "CASM: Implementing an Abstract State Machine based programming language". 6. Arbeitstagung Programmiersprachen (ATPS 2013), Aachen, Germany, February 2013. [pdf coming soon] (The original publication will appear in volume 215 of Lecture Notes in Informatics.)
Slides: [pdf]
G. Barany. "Register Reuse Scheduling". 9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9), Chamonix, France, 2011. [pdf]
G. Barany and A. Prantl. "Source-Level Support for Timing Analysis". ISoLA 2010, Heraklion, Crete. [pdf] (Annoying legalese: The original publication is available at www.springerlink.com.)
G. Barany and A. Krall. "Optimistic Integrated Instruction Scheduling and Register Allocation". 15th Workshop on Compilers for Parallel Computing (CPC 2010).

Professional Activities

I co-organized the 15th Workshop on Compilers for Parallel Computing (CPC 2010) at Vienna University of Technology.

Old Software

You might be interested in melmac, a C-to-ALF translator.

You might also be interested in SATIrE, a framework for source-based analysis of C and C++ programs.

Projects

EPICOpt: Optimal Code Generation for Explicitly Parallel Processors

From December 2009 to October 2012 I worked in the EPICOpt project.

The aim of this project is to develop new algorithms and mathematical formulations that maintain the advantages of integer linear programming based code generation techniques while remaining computational feasible for real-world programs. This includes the application of well-known techniques from the operations research domain to decrease the required solver time such as cutting plane algorithms, column generation techniques, or Lagrangian relaxation. As some of the subproblems are known to be computationally hard for real-world instances, we want to use the developed models also to learn when and why established heuristics fail, and to develop efficient approximation algorithms and near-optimal techniques that remain computationally feasible even for large problems.

EPICOpt is funded by the Austrian Science Fund (FWF). The project leader is Andreas Krall, the other members of the group are Viktor Pavlu and Alexander Jordan.

ALL-TIMES: Integrating European Timing Analysis Technology

From March 2008 to December 2009 I was part of the ALL-TIMES project; during this time, I continued my previous work on the SATIrE framework, and I implemented melmac.

ALL-TIMES is a research project within the European Commission's 7th Framework Programme on Research, Technological Development and Demonstration. The project is concerned with timing analysis of embedded applications, especially in the automotive and aerospace areas. Correct prediction of worst-case execution time is an important part of ensuring that safety, availability, reliability, and performance requirements of such systems can be met.

Within ALL-TIMES, our group is mainly concerned with the development of the SATIrE static analysis framework, its application to timing analysis, and its use in annotating programs to exchange analysis information between various timing analysis toolchains.

The other members of the ALL-TIMES project group at our institute are Jens Knoop and Dietmar Schreiner. Markus Schordan, formerly at our institute, is also involved with our project group.

Teaching

In the past, I assisted in teaching courses on logic programming, functional programming, theory and logic, and optimizing compilers. I don't have any teaching duties at the moment. Yay!