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

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

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.

Research Interests

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