List of Talks

Dr. Sabine Glesner

Invited Talks

• Semantik zustandsbasierter Systeme. Vortrag im Forschungskolloquium von Prof. Ehrig, Technische Universität Berlin, Mai 2005.
• Verification of Optimizing Compilers. Vortrag im Rahmen des Verisoft-Projekts in der Arbeitsgruppe von Prof. Paul, Universität des Saarlandes, Februar 2005.
• Formale Methoden: Abgedroschenes Schlagwort oder stabilisierendes Rückgrat zuverlässiger Software? Workshop "Herausforderungen an die Software-Engineering-Forschung in Deutschland", Schloss Dagstuhl, Oktober 2004.
• Optimierende Übersetzer: Vertrauen ist gut, Verifikation ist besser! Informatik-Kolloquium, Universität Bremen, Mai 2004.
• Verifikation optimierender Übersetzer. Vortrag in der Arbeitsgruppe von Prof. Reichel, Institut für Theoretische Informatik, Technische Universität Dresden, Mai 2004.
• Verifikation optimierender Übersetzer. Vortrag bei dem Jahrestreffen des GI-Beirats der Universitätsprofessoren, Schloss Dagstuhl, April 2004.
• Verifikation von optimierenden Übersetzern. Vortrag in der Arbeitsgruppe von Prof. Nipkow, Institut für Informatik, Technische Universität München, München (Garching), Februar 2004.
• Verification of Optimizing Compilers. Vortrag im Oberseminar Rechnernetze und Telematik, Prof. Leue, Albert-Ludwigs-Universität Freiburg, November 2003.
• Optimierende Übersetzer: Vertrauen ist gut, Verifikation ist besser! Institut für Informatik, Universität Paderborn, November 2003.
• Compiler Verification. Vortrag in der Arbeitsgruppe von Prof. Reif, Lehrstuhl für Softwaretechnik und Programmiersprachen, Institut für Informatik, Universität Augsburg, Juli 2003.
• Formal Verification of the Dependable RT-Operating System BOSS. Vortrag beim Deutsch-Russischen WTZ-Treffen des BMBF mit der russischen Delegation in Berlin, Juni 2003.
• Compiler Verification. Vortrag in der Arbeitsgruppe von Prof. Nipkow, Institut für Informatik, Technische Universität München, München (Garching), Februar 2003.
• Compiler Verification. Vortrag beim Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik (FIRST), Fraunhofer Gesellschaft, Berlin, Adlershof, Februar 2003.
• Applying Verified Program Checking in Compiler Verification. Vortrag in der Arbeitsgruppe von Prof. Nipkow, Institut für Informatik, Technische Universität München, Mai 2002.
• Using Constraint Programming to Implement Many-Sorted Natural Semantics. Logik-Seminar des Max-Planck-Instituts für Informatik, Saarbrücken, Juli 1998.
• Mehrsortige natürliche Semantik. Vortrag im Graduiertenkolleg ``Effizienz und Komplexität von Algorithmen und Rechenanlagen'', Universität des Saarlandes, Saarbrücken, Januar 1998.
• Using Many-Sorted Inference Rules to Specify and Generate Semantic Analysis. Eingeladener Vortrag beim Workshop ``Promotion tut not: Innovationsmotor Graduiertenkolleg'' im Rahmen der GI-Jahrestagung, Aachen, September 1997.
• Semantische Analyse basierend auf Constraints. Vortrag in der Arbeitsgruppe von Prof. Wilhelm, Universität des Saarlandes, Saarbrücken, März 1997.

Talks at Conferences and Workshops

• General Principles in the Verification of Program and System Transformations. Dagstuhl Seminar Nr. 05311 "Verifying Optimizing Compilers", Schloss Dagstuhl, August 2005.
• Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Software Engineering-Tagung 2005, Essen, März 2005.
• Composing Correctness Proofs for Component Systems. Seminar "Architecting Systems with Trustworthy Components", Schloss Dagstuhl, Dezember 2004.
• Verifikation und Optimierung bei der Übersetzung höherer Programmiersprachen. Jahrestreffen der GI-Fachgruppe FoMSESS (Formale Methoden und Software Engineering für Sichere Systeme) in Darmstadt, Juni 2004.
• An ASM Semantics for SSA Intermediate Representations. 11th International Workshop on Abstract State Machines, Wittenberg, Germany, Mai 2004.
• A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics . International Workshop on Compiler Optimization meets Compiler Verification (COCV 2004), 7th European Conferences on Theory and Practice of Software (ETAPS 2004), Barcelona, Spain, April 2004.
• A Program Result Checker for the Lexical Analysis of the GNU C Compiler. International Workshop on Compiler Optimization meets Compiler Verification (COCV 2004), 7th European Conferences on Theory and Practice of Software (ETAPS 2004), Barcelona, Spain, April 2004.
• Sicherheit (Safety) bei der Ausführung von Programmen. FoMSESS Session, GI-Jahrestagung, Frankfurt, Oktober 2003.
• Program Checking with Certificates: Separating Correctness-Critical Code. The 12th International FME Symposium (Formal Methods Europe), Pisa, Italien, September 2003.
• Comparing Natural Semantics and SOS with ASMs. International Summer School Marktoberdorf, August 2003.
• Verifying Compilers. Treffen der GI-Fachgruppe FoMSESS (Formale Methoden und Software Engineering für Sichere Systeme) in Karlsruhe, Mai 2003.
• Classifying and Formally Verifying Integer Constant Folding. International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2003), European Joint Conferences on Theory and Practice of Software (ETAPS 2003), Warschau, Polen, April 2003.
• ASMs versus Natural Semantics: A Comparison with New Insights. 10th International Workshop on Abstract State Machines, Taormina, Italien, März 2003.
• Verified Code Generation for Embedded Systems. International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002), European Joint Conferences on Theory and Practice of Software (ETAPS 2002), Grenoble, Frankreich, April 2002.
• Verified and Optimized Code Generation for Embedded Systems. Dagstuhl Seminar Nr. 02101 "Theory and Application of Abstract State Machines", Internationales Forschungs- und Begegnungszentrum für Informatik (IBFI), Schloß Dagstuhl, Wadern, März 2002.
• Natural Semantics for Imperative and Object-Oriented Programming Languages. Dagstuhl Seminar Nr. 99151 "Program Analysis", Internationales Forschungs- und Begegnungszentrum für Informatik (IBFI), Schloß Dagstuhl, Wadern, April 1999.
• Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages. Workshop on Functional and Logic Programming, GI Fachgruppe 2.1.4, Physikzentrum Bad Honnef, April 1998.
• Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis. Systems Implementation Conference (SI2000), IFIP Working Group 2.4, Berlin, Februar 1998.
• Many-Sorted Logic in a Learning Theorem Prover. 21st German Annual Conference on Artificial Intelligence (KI'97), FB1 KI der Gesellschaft für Informatik e.V., Freiburg, Deutschland, September 1997.
• Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases. European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU '95), Fribourg, Schweiz, Juni 1995.

Further Talks

• Einblick in die Informatik. Workshop "Andere Fächer, andere Sitten!", Jahrestreffen des Emmy Noether-Programms der DFG, Potsdam, Juli 2005.
• Randomisierung in der Informatik. Habilitationskolloquium, Fakultät für Informatik, Universität Karlsruhe, Mai 2005.
• Informatik: Wissenschaft mit Zukunftsvisionen. Vortrag in der Session "Karlsruher Exzellenz: Wissenschaftlerinnen stellen sich vor" im Rahmen des Symposiums "100 Jahre Frauen an deutschen Technischen Hochschulen", Universität Karlsruhe, Oktober 2004.
• Optimierende Übersetzer: Vertrauen ist gut, Verifikation ist besser! Fakultät für Informatik, Universität Karlsruhe, Dezember 2003.
• Verifikation und Optimierung bei der Übersetzung höherer Programmiersprachen. Vortrag beim Auswahlseminar der DFG zum Aktionsplan Informatik, Oktober 2003.
• Applying Verified Program Checking in Compiler Verification. Treffen des DFG-Verifix-Projekts, Institut für Programmstrukturen und Datenorganisation, Lehrstuhl Prof. Goos, Universität Karlsruhe, Karlsruhe, Mai 2002.
• Koinduktion: Ein Beweisprinzip für Simulationsbeweise. Treffen des DFG-Verifix-Projekts, Institut für Informatik und Praktische Mathematik (Arbeitsgruppe Prof. Langmaack), Christian-Albrechts-Universität zu Kiel, Dezember 2000.
• Natürliche Semantik für imperative und objektorientierte Programmiersprachen. Promotionsvortrag, Fakultät für Informatik, Universität Karlsruhe, Karlsruhe, Februar 1999.
• Natürliche Semantik für imperative und objektorientierte Programmiersprachen. Vortrag in der Arbeitsgruppe von Prof. Menzel, Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, Januar 1999.
• Natürliche Semantik für imperative und objektorientierte Programmiersprachen. Vortrag beim Treffen des Graduiertenkollegs ``Beherrschbarkeit komplexer Systeme'' der Universität Karlsruhe in Schloß Dagstuhl, Wadern, Dezember 1998.
• Mehrsortige natürliche Semantik. Vortrag bei einem Arbeitstreffen mit Prof. Steffen (Universität Dortmund) am Institut für Programmstrukturen und Datenorganisation, Lehrstuhl Prof. Goos, Universität Karlsruhe, Karlsruhe, Juni 1998.
• Mehrsortige natürliche Semantik zur Spezifikation, Generierung und Verifikation von semantischer Analyse. Vortrag im Graduiertenkolleg ``Beherrschbarkeit komplexer Systeme'', Universität Karlsruhe, Dezember 1997.
• Mehrsortige natürliche Semantik zur Spezifikation, Generierung und Verifikation von semantischer Analyse. Treffen des DFG-Verifix-Projekts, Institut für Programmstrukturen und Datenorganisation, Lehrstuhl Prof. Goos, Universität Karlsruhe, Karlsruhe, November 1997.
• Beschreibung und Analyse kontextsensitiver Syntax in Programmiersprachen. Vortrag im Graduiertenkolleg ``Beherrschbarkeit komplexer Systeme'', Universität Karlsruhe, April 1997.
• Mehrsortige Logik in einem Lernenden Beweiser. Diplomarbeitsvortrag, Institutsseminar der Fachgebiete Programmiermethodik und Intellektik, Technische Hochschule Darmstadt, Darmstadt, Juli 1996.
• Mehrsortige Logik in einem Lernenden Beweiser. Vortrag im Graduiertenkolleg "Beherrschbarkeit komplexer Systeme", Universität Karlsruhe, Juni 1996.
• Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases. Institutsseminar der Fachgebiete Programmiermethodik und Intellektik, Technische Universität Darmstadt, Darmstadt, Mai 1995.