Postdoc Research Project
Eliteförderprogramm für Postdoktoranden der Landesstiftung
Baden-Württemberg
Correct and Optimizing Compilers for Modern
Processor Architectures
Dr. Sabine Glesner
This research project is funded by the "Eliteförderprogramm für
Postdoktoranden der
Landesstiftung Baden-Württemberg" with 69.000 Euro. Its goal is a
methodology to construct provably correct compilers, in particular
correct as well as optimizing backends
for modern processor architectures(e.g. VLIW, predicated
instructions).
The following sub-projects are investigated:
- Verification of
the GCC-Frontend
- Verification of Data-Flow Analyses in SSA Intermediate Representations
- Correct and Optimizing Code Generation for Modern Processor Architectures
from SSA Intermediate Representations
Students interested in participating are welcome
(Studien-/Diplomarbeit, Hiwis). Please contact me.
Back to Sabine's Homepage
Back to Overview of Research Projects