Given Talks (since 2004)

2/11/2004 Verifikation von optimierenden Übersetzern, talk in Prof. Nipkow's group, Technische Universität München, (with Sabine Glesner)
5/14/2004 Eine formale Semantik für SSA Zwischensprachen in Isabelle/HOL , Diplomarbeitsabschlussvortrag, Institutsseminar Prof. Goos, Universität Karlsruhe
9/24/2004 A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL, Arbeitstagung Programmiersprachen auf der 34. Jahrestagung der Gesellschaft für Informatik, Universität Ulm
4/3/2005 Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL, Compiler Optimization meets Compiler Verification, Edinburgh
6/7/2005 Verifikation von Softwaresystemen, Jahrestagung der Fachgruppe Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS) der Gesellschaft für Informatik, Kiel (with Lars Gesellensetter)
7/22/2005 Verifikation zustandsbasierter Systeme und ihrer Transformationen, talk in Prof. Nipkow's group, Technische Universität München, (with Andreas Humbert)
8/4/2005 Verifying the Semantics Preservation of Compiler Transformations, Seminar: Verifying Optimizing Compilers, Schloss Dagstuhl
9/8/2005 Formal Verification of Dead Code Elimination in Isabelle/HOL, IEEE Conference on Software Engineering and Formal Methods (SEFM), Koblenz
9/16/2005 Formal Verification of Java Code Generation from UML Models, Fujaba Days, Paderborn


back