This is an outdated home-page! Please visit my new one http://www.cs.usyd.edu.au/~scholz .

TU-Logo

Research

Institut für Computersprachen E185/1
Home


Research

Teaching / Lehre

Publications

Invited Talks

Professional Activities







PGP Key

Library

Research

My research interests are in the following areas:
  • Compilation Techniques
  • Real-Time and Embedded Systems
  • Parallel Systems
  • Profile Guided Optimization
  • Operation Research Methods for Compiler Optimizations
My research focus is in the following areas:

Code Generation Techniques for Embedded Systems

In this work we aim for improving the code quality of embedded systems compilers. This work is a collaboration with ATAIR Software GmbH ATAIR Logo 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.

Partitioned Boolean Quadratic Programming (PBQP)

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.

Profile Guided Optimizations

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 of Programs

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.

[TU Wien] [Institut für Computersprachen] [Home] last update: 13 Feb 2004