Sabine Glesner's Research Projects
Member in the "Margarete von Wrangell-Habilitationsprogramm"
(since 2001)
sponsored by the state of Baden-Wuerttemberg (Germany)
-
Research grant in the "Eliteförderprogramm für
Postdoktoranden der
Landesstiftung Baden-Württemberg" (2003-2005)
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
Research grant within the DFG Aktionsplan Informatik
(part of the Emmy Noether-Programm) (since 2004)
Titel des Projekts:
Verifikation und Optimierung bei der Übersetzung höherer
Programmiersprachen.
Förderung zum Aufbau einer eigenen Arbeitsgruppe (u.a. zwei Mitarbeiterstellen)
über fünf Jahre