Abteilung Programmiersprachen

Steffen Keul

Wissenschaftlicher Mitarbeiter (Dipl.-Inf.)

Kontakt

Forschung

Veröffentlichungen

• Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, Wolfgang: Entwurfsmuster-Erkennung mit Bauhaus, In 10th Workshop Software-Reengineering, Lecture Notes in Informatics (LNI), Seiten 181 -- 185, 2008.
• Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form in Bauhaus, Technischer Bericht Nr. 2007/03.
• Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form. In Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), Seiten 1 -- 10, 2007.
• Keul, Steffen: Generierung der Zwischendarstellung IML für Ada95 Programme, Diplomarbeit Nr. 2323, 2005.

Lehre

Betreute Diplomarbeiten

• Schmitz, Bernhard: Konzeption und Implementierung einer Wert-Propagierung für IML, Diplomarbeit Nr. 2695, 2008.
• Knupfer, Christoph: Konzeption und Implementierung einer Escape-Analyse für IML, Diplomarbeit Nr. 2637, 2007.

WS 2008/09

• Übungen zu Grundlagen der Programmiersprachen und Compilerbau

SS 2008

• Hauptseminar Programmanalysen
• Programmierübungen II

WS 2007/08

• Seminar Moderne Programmanalysen zur Fehlererkennung
• Studienprojekt A IMLgen
• Programmierübungen I

SS 2006

• Studienprojekt A IMLgen
• Programmierübungen II

WS 2006/07

• Hauptseminar Programmanalysen
• Programmierübungen I

SS 2006

• Vorlesung Concepts of Programming Languages