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

Tagungsbände und Beiträge in
Tagungsbänden:
Braun, M.; Hack, S.: Register Spilling and
Live-Range Splitting for SSA-Form Programs.
In: Proceedings of the International Conference
on Compiler Construction. CC 2009, York,
United Kingdom, 22.03.2009. S. 174 -189
Giffhorn, D.: Chopping Concurrent Programs.
In: 9th IEEE International Working Conference
on Source Code Analysis and Manipulation.
SCAM 2009, Edmonton, Kanada, 20.09.2009.
S. 13 -22
Lochbihler, A.: Formalising FinFuns -
Generating Code for Functions as Data from
Isabelle/HOL. In: Proceedings of the 22nd
International Conference of Theorem Proving
in Higher Order Logics, Springer, August
2009.; Hrsg.: Stefan Berghofer and Tobias
Nipkow and Chrsitian Urban and Makarius
Wenzel. TPHOLs, München, 17.08.2009.
Springer, 2009, S. 310 - 326
Lohner, D.; Snelting, G.; Wasserrab, D.: On
PDG-Based Noninterference and its Modular
Proof. In: Proceedings of the 4th Workshop on
Programming Languages and Analysis for
Security. Hrsg.: ACM Sigplan. PLAS 2009,
Dublin, Ireland, 15.06.2009. S. 31 - 44
Institut für Programmstrukturen und Datenorganisation
Ausgewählte Veröffentlichungen des Forschungsbereiches:
Beiträge in Zeitschriften:
Lochbihler, A.; Snelting, G.: On Temporal
Path Conditions in Dependence Graphs. In:
Journal of Automated Software Engineering,
Band Vol. 16, (2), Heft , 2009, S. 263 -290
Interne Berichte:
Giffhorn, D.; Hammer, C.: Precise Slicing of
Concurrent Programs - An Evaluation of Static
Slicing Algorithms for Concurrent Programs.
In: Journal of Automated Software
Engineering, Band Vol. 16, (2), Heft , 2009,
S. 197 - 234
Hammer, C.; Snelting, G.: Flow-Sensitive,
Context-Sensitive, and Object-sensitive
Information Flow Control Based on Program
Dependence Graph. In: International Journal of
Information Security, Band Vol. 8, (6), 2009,
S. 399 - 422
Snelting, G.: Informatik ist Cool ?!. In: IT -
Information Technology, Band Vol. 51, Heft ,
2009, S. 175 - 177
81
3