Teaching / Lehre
My research interests are in the following areas:
My research focus is in the following areas:
- Compilation Techniques
- Real-Time and Embedded Systems
- Parallel Systems
- Profile Guided Optimization
- Operation Research Methods for Compiler Optimizations
In this work we aim for improving the code quality of embedded systems
compilers. This work is a collaboration with ATAIR Software GmbH and the CD-Lab for Compilation Techniques for
Embedded Processors of the Technical University of Vienna which is
sponsored by the Austrian Science Fund and Austrian Industry.
PBQP is a problem which is useful for efficiently solving hard problems
in compiler construction. It was successfully applied in the area of
embedded systems. This work is conducted with Erik Eckstein.
Probabilistic Data Flow Analysis is a novel program analysis for
utilizing runtime information. This work is a collaboration with Aurora, a special
research program funded by the Austrian Science Fund and Prof. E. Mehofer.
Symbolic analysis uses symbolic expressions to describe the
computations as algebraic formulas over a program's problem size. This
work is a collaboration with Aurora, a special
research program funded by the Austrian Science Fund, Prof. T. Fahringer, Prof. H. Blieberger,
and B. Burgstaller.