Gergö Barany
Institute of Computer Languages
Vienna University of Technology

Gergö Barany

[image of Gergö Barany]

Gergö Barany

Institute of Computer Languages E185/1
Vienna University of Technology

e-mail:
firstname.lastname@cea.fr
gergo@complang.tuwien.ac.at
Follow princess_gergo on Twitter


About

I used to be a research assistant at the Institute of Computer Languages at Vienna University of Technology. I was employed on various projects: the Spyculative project on analysis and optimization of the Python interpreter; the EPICOpt project on code generation for explicitly parallel processors; and in the ALL-TIMES project on timing analysis.

I now work at CEA LIST and can be reached under firstname.lastname@cea.fr.

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.

Software

I wrote pylibjit, a Python library for compiling Python functions.

Publications

Some of my more interesting publications are:

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!
Complang Group
Gergö Barany
   melmac
Sitemap
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2016-03-09 (gergo)