|
Research |
Institut für Computersprachen E185/1 | ||
Home Research Teaching / Lehre Publications Invited Talks Professional Activities PGP Key Library |
ResearchMy research interests are in the following areas:
Code Generation Techniques for Embedded SystemsIn 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.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 OptimizationsProbabilistic 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 ProgramsSymbolic 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. |
|||
|