Uni-Logo

Logo

FZI-Logo


Programm des Institutsseminars im Wintersemester 2004/2005

 

Freitag, 04 März 2005

      Gert Pache (Diplomarbeitsabschluß, Betreuer: Olaf Seng)

        Ein metrikbasiertes Suchverfahren zur automatischen Strukturverbesserung

Freitag, 04 Februar 2005

    Philipp Leiß (Diplomarbeitseinführung, Betreuer: Rubino Geiß, Sebastian Hack)

        Entwicklung eines Anzeigesystems für Programmgraphen

    Simone Forster (Studienarbeit, Betreuer: Dr. Sabine Glesner)

        Architektur eines Checkers für die synaktische Analyse des GNU C Compilers in Isabelle/HOL

    Johannes Leitner (Studienarbeit, Betreuer: Dr. Sabine Glesner, Jan Olaf Blech)

        Koalgebraische Methoden in der Verifikation optimierender Programmtransformationen mittels Theorembeweisern

Freitag, 10 Dezember  2004

    Andreas Arnold (Studienarbeit, Betreuer: Dr. Sabine Glesner, Michael Beck, Rubino Geiß)  

       Codeerzeugung aus Firm mit dem lcc-Backend

    Hannes Jakschitsch (Diplomarbeitsabschluß, Betreuer: Dr. Sabine Glesner, Rubino Geiß, Sebastian Hack)

        Befehlsauswahl auf SSA-Graphen

Freitag, 03 Dezember  2004

    Matthias Heil (Studienarbeit, Betreuer: Götz Lindenmaier)

        Haldenanalyse unter Berücksichtigung von Ausnahmen und Ausnahmebehandlung

    Hans Kratz (Diplomarbeitsabschluß, Betreuer: Rubino Geiß)

        Entwicklung eines Debuggers mit Rückwärtschrittfunktion

    Karsten Sperling (Studienarbeit, Betreuer: Dr. Sabine Glesner, Jan Olaf Blech)

        Verifikation unimodularer Schleifentransformationen

Freitag, 26 November  2004

    Daniel Grund (Studienarbeit, Betreuer: Sebastian Hack, Rubino Geiß)

        Erweiterung des Graphersetzers GrGen um negative Kontexte in Graphmustern


page maintained by Mamdouh Abu-Sakran