Gergö Barany

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-18524
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 on the ALL-TIMES project (see below).

Projects

ALL-TIMES: Integrating European Timing Analysis Technology

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 2008/2009 winter term, I am involved in teaching the Optimierende Übersetzer (optimizing compilers) course with Jens Knoop. All questions regarding the exercises should be directed to me personally. You can sign up for your account here.

Research Interests

My interests include all sorts of program analysis and optimization topics, especially in the context of functional and logic programming.