Gergö Barany
Institute of Computer Languages
Vienna University of Technology

Gergö Barany

[image of Gergö Barany]

Gergö Barany

e-mail:
gergo@complang.tuwien.ac.at
Follow princess_gergo on Twitter


About

I am a postdoctoral researcher at Inria Paris, in the Gallium research team. I work on the CompCert verified compiler and on compiler optimizations in general.

Previously I was a postdoc at CEA LIST, working on information flow analysis in the Frama-C source-code analysis framework.

I earned my PhD at the Institute of Computer Languages at Vienna University of Technology, where I was a research assistant. 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.

Research Interests

My general research interests include all sorts of program analysis and optimization topics. A specific current interest is finding missed optimizations in C (and other) compilers.

My PhD thesis concerned near-optimal integrated instruction scheduling and register allocation based on a PBQP formulation.

Software

I wrote ldrgen, a generator of random C code for testing compiler optimizations. I also wrote pylibjit, a Python library for compiling Python functions.

Awards

I received the Best Paper Award at CC'18 for my paper on Finding Missed Compiler Optimizations by Differential Testing.

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 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.

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
Sitemap
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-08-23 (gergo)