Research

Research

I am leading the research projects

Optimal Code Generation for Explicitely Parallel Processors and

Correct Compilers for Correct Aplication Specific Processors

I am managing the Christian Doppler Laboratory

Compilation Techniques for Embedded Processors

My research interests are in the area of

• implementation of object oriented languages with focus on
  • extensions of Java
  • just in time compilers for Java
  • efficient type checking techniques
  • SEAL, a language for mobile software agents

• and compiler back ends and computer architecture with focus on
  • code generation
  • register allocation
  • instruction scheduling
  • software pipelining
  • branch prediction
  • speculative execution
  • memory disambiguation

• and implementation of logic programming languages with focus on
  • Vienna Abstract Machine
  • interpreters
  • compilers
  • hardware models
  • constraint logic programming

For more information see my list of articles.