Dr. Sabine Glesner: Advised Students
PhD Theses (Promotionen)
- Jan Olaf Blech: PhD Thesis on the Verification of Compiler
Optimizations, has started in April 2004.
- Lars Gesellensetter: PhD Thesis on Global Machine-dependent
Compiler Optimizations, starting July 2004.
Master's Theses (Diplomarbeiten)
- Elyasin Shaladi: Diplomarbeit "Verifikation von Schleifentransformationen
in Compilern", Fakultät für Informatik, Universität Karlsruhe, laufende
Arbeit.
- Andreas Humbert: Diplomarbeit "Eine strukturell operationale Semantik
für SSA-Sprachen", Fakultät für Informatik, Universität Karlsruhe, laufende
Arbeit.
- Horia Barca: Diplomarbeit "Eine formale Semantik für den Pi-Kalkül",
Fakultät für Informatik, Universität Karlsruhe, laufende Arbeit.
- Hannes Jakschitsch: Diplomarbeit "Befehlsauswahl auf SSA-Graphen",
Fakultät für Informatik, Universität Karlsruhe, November 2004.
- Jan Olaf Blech: Diplomarbeit "Eine formale Semantik für
SSA-Zwischensprachen in Isabelle/HOL",
Fakultät für Informatik, Universität Karlsruhe, März 2004.
- Sebastian Hack:
Diplomarbeit "Graphersetzung für Optimierungen in der Codeerzeugung",
Fakultät für Informatik, Universität Karlsruhe, Dezember 2003.
-
Hannah Schröter: Diplomarbeit "Codegenerierung für digitale Signalprozessoren:
Erweiterung eines Codegeneratorgenerators basierend auf Graphersetzungsmethoden", Fakultät für Informatik, Universität
Karlsruhe, Februar 2003.
Term Projects (Studienarbeiten)
- Andreas Humbert: Studienarbeit "Entwurf und Implementierung einer
XML-Schnittstelle für SSA-Sprachen in Übersetzern",
Fakultät für Informatik, Universität Karlsruhe, Juni 2005.
- Max Schroeder: Studienarbeit "Checker für Konstantenpropagierung in
Compilern",
Fakultät für Informatik, Universität Karlsruhe, Juni 2005.
- Johannes Leitner: Studienarbeit "Koalgebraische Methoden in der
maschinellen Verifikation von optimierenden Programmtransformationen",
Fakultät für Informatik, Universität Karlsruhe, Februar 2005.
- Steffen Mülling: Studienarbeit "Maschinelle Verifikation der
Codeerzeugung für VLIW-Prozessoren", Fakultät für Informatik,
Universität Karlsruhe, 2005.
- Robert Hartmann: Studienarbeit "Evaluierung
graphersetzungsbasierter Optimierungen in Compiler-Backends",
Fakultät für Informatik,
Universität Karlsruhe, 2005.
- Karsten Sperling: Studienarbeit "Verifikation
unimodularer Schleifentransformationen",
Fakultät für Informatik, Universität Karlsruhe, Dezember 2004.
- Denise Dudek: Studienarbeit "Maschinelle Verifikation der Eliminierung
toten Codes in SSA-Darstellungen", Fakultät
für Informatik, Universität Karlsruhe, 2005.
- Simone Forster: Studienarbeit "Formale Verifikation der
syntaktischen Analyse des GCC-Compilers in Isabelle/HOL", Fakultät
für Informatik, Universität Karlsruhe, Februar 2005.
- Andreas Arnold:
Studienarbeit "Codeerzeugung aus Firm mit dem lcc-Backend",
Fakultät für Informatik, Universität Karlsruhe, November 2004.
- Matthias Jäger:
Studienarbeit "Generierung von .NET IL Assembler aus Firm",
Fakultät für Informatik, Universität Karlsruhe, März 2003.
- Jan Olaf Blech:
Studienarbeit "Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern",
Fakultät für Informatik, Universität Karlsruhe, Mai 2003.
- Rubino Geiß: Studienarbeit "The Sherlock-System - A Prototype for
Many-Sorted Natural Semantics", Fakultät für Informatik, Universität
Karlsruhe, Dezember 1998.
Research Assistants (Wissenschaftliche Hilfskräfte)
- Jan Olaf Blech (2002-2004)
- Denise Dudek (2004)
- Simone Forster (2002-20004)
- Sebastian Hack (2003-2004)
- Andreas Humbert (2005-current)
- Matthias Jäger (2002-2004)
- Johannes Leitner (2004-current)
- Michael Mai (2003-2004)
- Steffen Mülling (2004-2005)
- Andreas Schösser (2003-2004)
- Christian Würdig (2003-2004)