Abteilung Programmiersprachen und Übersetzerbau

Dipl.-Inf. Stefan Staiger-Stöhr

Wissenschaftlicher Mitarbeiter

Kontakt

Forschung

• Technical Report zu einigen Resultaten, die Teil der Dissertation sein werden:
  Implementing Sparse Flow-Sensitive Andersen Analysis
• Dissertation (eingereicht):
  Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss
  Inhalt grob:
  
  • Fluss-sensitive Andersen-Analyse:
    Höhere Präzision für die wohl einflussreichste Zeigeranalyse -- bei gleicher Komplexität!
  • Formulierung der fluss-sensitiven Zeigeranalyse nicht als Datenflussproblem auf dem CFG,
    sondern auf dem parallel dazu errichteten Datenfluss-Graphen
  • Erkennung und Beherrschung starker Aktualisierungen ohne Verschlechterung der Komplexität
  • Kontext-sensitive Version der fluss-sensitiven Andersen-Analyse:
    MOVP-Präzision zum ersten Mal mit nur der Komplexität n⁴
• Projekt Bauhaus
• Statische Analyse von Programmen, speziell:
  • Zeigeranalysen in Kombination mit Datenflussanalysen
  • Interprozedurale SSA-Form
  • Analyse von Programmen mit graphischer Oberfläche

Veröffentlichungen

• Theoretische Informatik
• Stefan Staiger: Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen.
  Diplomarbeit, Universität Stuttgart, 2005.
  Erhältlich in der Bibliothek (auch elektronisch) und als Buch:
  Isomorphie und Automorphismen endlicher Ringe.
• Statische Analyse von Programmen mit graphischer Oberfläche
• Stefan Staiger: Static Analysis of Programs with Graphical User Interface.
  In: Proceedings of the 11th Conference on Software Maintenance and Reengineering (CSMR), Amsterdam, 2007, S. 252 - 261
  Copyright: IEEE
• Stefan Staiger: Statische Analyse von graphischen Oberflächen.
  In: Workshop on Applied Program Analysis (APA), 2007, S. 247 - 253
  Copyright: GI
• Stefan Staiger: Reverse Engineering of Graphical User Interfaces using Static Analyses.
  In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), Vancouver, Kanada, 2007, S. 189 - 198.
  Copyright: IEEE
• Datenfluss-Analyse
• Stefan Staiger-Stöhr: Implementing Sparse Flow-Sensitive Andersen Analysis.
  Universität Stuttgart, Fakultät Informatik, Technical Report TR 2009/03, 2009.
  Copyright: Universität Stuttgart
• Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe: Interprocedural Static Single Assignment Form.
  In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), Vancouver, Kanada, 2007, S. 1 - 10.
  Copyright: IEEE
• Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe: Interprocedural Static Single Assignment Form in Bauhaus.
  Universität Stuttgart, Fakultät Informatik, Technical Report TR 2007/03, 2007.
  Copyright: Universität Stuttgart
• Entwurfsmuster-Erkennung
• Eduard Wiebe, Steffen Keul, Stefan Staiger, Gunther Vogel, Andreas Haufler und Wolfgang Scherer: Entwurfsmuster-Erkennung mit Bauhaus
  In: Workshop Software-Reengineering (WSR), Bad Honnef, 2008.
  Copyright: GI

Lehre

• Gehaltene Vorlesungen
• Programmanalysen und Compilerbau (3V + 1Ü) WS 2006/07
  Weiterführende Vorlesung des Lehrstuhls.
  Skript um 230 Seiten erweitert.
• Konzipierte und betreute Diplomarbeiten:
• Verbesserung statischer Analysen in praxisrelevanten Fällen.
  Arthur Teuber, 2008.
• Statische Analyse von Programmen mit Bibliotheken.
  Minh Cuong Tran, 2008.
• Kombinierte statische Analysen.
  2008.
• Eine adaptive Steuerung für statische Programmanalysen.
  Hongliang Yao, 2008.
• Ein LaTeX-Übersetzer.
  Hua Cui, 2008/09.
• Erzeugung der Bauhaus-Zwischendarstellung für große Programme
  Felix Billau, 2009.
• Konzipierte und betreute Studienarbeiten:
• Statische Analyse von GUI-Programmen.
  Tülay Cetin, 2006
• Analyse von Build-Prozessen.
  Sören Berger, 2007
LaTeX mit modernen Programmiersprachen-Konzepten.
Christian Stürmer, 2007
• Schwierigkeiten für statische Programmanalysen in der Praxis.
  Christoph Stach, 2007
• Konzipierte und betreute Software-Praktika (je 4P):
• Pretty-Printer, SS 2006
• Postscript-Export, WS 2006/07
• Entfernen von totem Code, SS 2008
• Backends für die GUI-Analyse, SS 2008
• GUI für IML-Werkzeuge, SS 2008
• Betreute Studienprojekte (je über 1 Jahr):
• WS 2005/06, SS 2006: StuPro Emmu
• SS 2007, WS 2007/08: StuPro IMLGen
• Übungen und (Haupt-)Seminare:
• WS 2009/10:
• Übungen zu Programmanalysen und Compilerbau
• SS 2009:
• Übungen zu Konzepte der Programmiersprachen
• WS 2008/09
• Übungen zu Grundlagen der Programmiersprachen und Compilerbau
• Übungen zu Programmanalysen und Compilerbau
• SS 2008
• Hauptseminar Programmanalysen
• Übungen zu Concepts of Programming Languages
• WS 2007/08
• Seminar Moderne Programmanalysen zur Fehlererkennung
• Übungen zu Programmanalysen und Compilerbau
• SS 2007
• Seminar Bauhaus - Compilertechnologie im Reengineering
• Übungen zu Concepts of Programming Languages
• WS 2006/07
• Hauptseminar Programmanalysen
• Übungen zu Programmanalysen und Compilerbau
• SS 2006
• Übungen zu Concepts of Programming Languages

Abschlüsse und Auszeichnungen

• Abitur 1999, Durchschnitt: 1,0. Preis für bestes Abitur.
• Jugend-forscht-Preisträger 2000: 2. Platz in Baden-Württemberg im Bereich Technik
• Diplom 2005, Durchschnitt: 1,0. Infos-Preisträger.

Professionelle Aktivititäten

• Nov 2005 - heute: Wissenschaftlicher Mitarbeiter
• Nov 2005 - heute: Software-Entwickler im Bauhaus-Projekt.
  Tätigkeiten unter anderem:
  • Weiterentwicklung eines Frontends für C/C++
  • Konzept und Entwicklung eines sehr effizienten Linkers für eine hohe Zwischensprache
  • Entwicklung von GUI-Analysen
  • Entwicklung einer kombinierten Analyse (Zeigeranalyse, Kontroll- und Datenfluss)