Sonntag

Abendessen (19:00)

Montag

Sitzung: Eröffnung & Eingeladener Vortrag (09:00 - 10:00; Leitung: Thomas Noll)

• Joost-Pieter Katoen: Deductive Verification of Probabilistic Programs

Sitzung: Verifikation (10:30 - 12:10; Leitung: Jens Knoop)

• Michael Hanus: Automated Verification of Fail-Free Declarative Programs
• Christoph Ohrem: Model Checking of Asynchronous Hyperproperties
• Roman Lakenbrink: A Navigation Logic for Recursive Programs with Dynamic Thread Creation
• Wolf Zimmermann: (Almost) Agile Development of Verified Compilers
• Daniel Dorfmeister: DEPS: Leveraging Hardware Faults for Binding Software to Hardware

Mittagessen (12:30 - 13:30)

Sitzung: Testen und Diverses 1 (14:00 - 15:20; Leitung: Michael Hanus)

• Kerstin Jacob: Towards Improved Test-to-Code Traceability via Mutation Testing
• Samuel Pilz: Improving Rust Mutation Testing using Static and Dynamic Program Analysis
• Vasil Sarafov: Fuzzing through the Prism of Programming Language Theory
• David Markvica: Interpreting μWebAssembly
• Frank Huch: Optimierung von Random-Access Listen in Haskell

Sitzung: Diverses 2 (16:00 - 17:40; Leitung: Herbert Kuchen)

• Marcus Riemer: A grammar centric approach to generate drag & drop subsets of programming languages
• Jan H. Boockmann: Breaking Class Invariants Through Program Mutation-based Object State Space Exploration
• Jürg Gutknecht: Self-Active Objects: A Unifying Approach towards Structured Concurrency
• Thomas Kühn: Towards a Holistic Case for Comparing Language Product Line Approaches
• Sven-Bodo Scholz: Why Rank-Polymorphism Matters

Abendessen (19:00)

Dienstag

Sitzung: Sprachkonzepte und Hardware-nahe Sprachen (09:00 - 10:20; Leitung: Clemens Grelck)

• Christian Heinlein: MOSTflexiPL: An Extreme Flexible Programming Language
• Herbert Kuchen: The Constraint-Logic Object-Oriented Language Muli
• Baltasar Trancón y Widemann: LLJava(-Live): Brew As You Go
• André Schäfer: Auffinden von Quellcode-Klonen in Zwischencodedarstellungen von Java Bytecode

Sitzung: Maschinelles Lernen und Codegenerierung (10:50 - 12:10; Leitung: Wolfram Amme)

• Dietmar Schreiner: LLMs in der Lehre oder "Lucy in the Sky with Diamonds"
• Thomas S. Heinze: Untersuchung der Domänenabhängigkeit tiefer Lernverfahren für die Typinferenz in Python
• Niels Bunkenburg: A Domain-Specific Language for Building Modular Interpreters
• Lukas Gail: Pushing the Limits of Template Metaprogramming with Code Generation

Mittagessen (12:30 - 13:30)

Ausflug (14:00 - 18:00)

Abendessen (19:00)

Mittwoch

Sitzung: Hardware- und Software-Sicherheit (09:00 - 10:20; Leitung: Christian Heinlein)

• Felix Berlakovich: R²C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage
• Stefan Brunthaler: HOBBIT - Hashed Object Based Integrity
• M. Anton Ertl: Fix Spectre in Hardware! Why and How
• Clemens Grelck: Fault-tolerance with the TeamPlay Coordination Language

Sitzung: Java-Typsysteme (10:50 - 12:10; Leitung: Wolf Zimmermann)

• Werner Dietl: Optional Type Systems: Current Approaches and Ongoing Efforts
• Daniel Holle: Java-TX Eclipse-Plugin
• Martin Plümicke: Principal generics in Java-TX
• Andreas Stadelmeier: Type Inference for Java: Unification of Type Constraints Involving Existential Types

Mittagessen (12:30 - 13:30)

Abreise