Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Die Institute der Fakultät und ihre Forschungsvorhaben
Institut für Programmstrukturen und
Datenorganisation
Leiter: Prof. Dr. G. Snelting
Sekretariat: S. Klinger (ab 21.09.2009),
K. Weißhaupt
Akadem. Mitarbeiter: M. Braun, S. Buchwald (ab 01.08.2009),
D. Giffhorn, J. Graf (F), C. Hammer (bis
31.03.2009), M. Hecker (ab 01.12.2009),
A. Lochbihler, D. Lohner, D. Wasserrab
Systemprogrammierer:
B. Traub
Überblick
(G. Snelting)
Der Lehrstuhl Programmierparadigmen führt die Tradition des Vorgängerlehrstuhls (Prof.
Goos) im Bereich Programmiersprachen und Compilerbau fort; beschäftigt sich aber verstärkt
mit nicht-klassischen Themen und Anwendungen von Sprachtechnologie. So wird
beispielsweise Programmanalyse zwar auch klassisch für Optimierungen in Compilern eingesetzt,
die Forschungsprojekte befassen sich aber vor allem mit innovativen Anwendungen
von Programmanalyse wie Software-Sicherheitsprüfung oder semantikbasierter
Refaktorisierung. Der Lehrstuhl untersucht auch die semantischen Grundlagen und maschinengestützte
Verifikation solcher Verfahren. Gleichzeitig werden realistische
Implementierungen für objektorientierte Sprachen und empirische Validierungen angestrebt.
Als Beispiel sei die Informationsflusskontrolle genannt, ein Verfahren zur Software-
Sicherheitsprüfung. Seit vielen Jahren untersuchen wir, wie man modernste
Programmanalyse nutzen kann, um Informationsflusskontrolle präziser und effizienter zu
machen, insbesondere durch Einsatz von Programmabhängigkeitsanalysen oder
Pfadbedingungen. Resultat ist der Prototyp eines Sicherheitsanalysesystems für Java-
Programme, das vollen Java Bytecode behandeln kann, weniger Fehlalarme produziert als
konkurrierende Projekte und bessere Information über die Ursachen von
Sicherheitsverletzungen liefert. Die Arbeiten werden seit Jahren von der DFG unterstützt,
und der Lehrstuhl bringt seine Projekte in neue Schwerpunktprogramme bzw
Sonderforschungsbereiche ein (z. B. SPP 1496 "Zuverlässig sichere Softwaresysteme").
In der Lehre gibt es im Masterstudium die Vorlesungen Sprachtechnologie und Compiler
1, Sprachtechnologie und Compiler 2, Fortgeschrittene Objektorientierung,
76
Forschungsbereich
Programmierparadigmen