| Mi 06.05.2026 |
|---|
| 13:50–14:00 |
|---|
| 14:00–15:30 | Session 1 — Syntax (Sitzungsleitung: Peter Thiemann) |
|---|
| Baltasar Trancón y Widemann | Alte Runen neu gemischt |
| Susanne Göbel | EMFular: Web-Native Generation and Customization of EMF-Consistent Graphical Editors |
| Stephan Mitte | Baumtransformationen mit zusammengesetzten Mustern |
| 16:00–18:00 | Session 2 — Typen (Sitzungsleitung: Friedrich Steimann) |
|---|
| Janek Spaderna | Modular Communication Protocols: From Algebraic Data Types to Algebraic Protocols |
| Marius Weidner | User-Defined Rewrite Rules for Dependently-Typed Programmers |
| Werner Dietl | HOPE: Hybrid Optional Property Enforcement |
| Stefan Brunthaler | Architectural Dissection and Performant Reconstruction of Sound Gradual Typing |
| 19:30–20:30 | Abend-Session — Philosophie (Sitzungsleitung: Baltasar Trancón y Widemann) |
|---|
| Jens Knoop | Informatik, Theologie und all das. Von Generativer KI, Gottesbeweisen und Heiliger Vierfaltigkeit |
| Do 07.05.2026 |
|---|
| 09:00–11:00 | Session 3 — Test, Verifikation & Sicherheit (Sitzungsleitung: Jens Knoop) |
|---|
| David Markvica | μFK: Ein Werkzeugkasten zur dynamischen Analyse von Fuzzerverhalten |
| Peter Thiemann | Tagless Interpretation of Stratified System F |
| Tim Matussek | Dynamische Bisimulation: Verhält sich Dein Interpreter richtig? |
| Nils Scheidweiler, Eric Wintzler | Securing Cyber-physical Systems with TeamPlay and Lemming |
| 11:30–12:30 |
|---|
| 09:00–10:40 | Session 4 — Theorie (Sitzungsleitung: Baltasar Trancón y Widemann) |
|---|
| David Sabel | Improvement Theory for Probabilistic Call-by-Need |
| Ralf Lämmel | The Foundations of Software Languages Ontology |
| 15:00–18:00 |
|---|
| Fr 08.05.2026 |
|---|
| 09:00–10:30 | Session 5 — Maschinennahes (Sitzungsleitung: Robert Glück) |
|---|
| Anton Ertl | Vektorisierung |
| Vasil Sarafov | Reverse Engineering: Neue Wege der Maschinencode-Dekompilierung |
| Christoph Jung | Using Z3 for RISC-V with Pydrofoil |
| 11:00–12:30 | Session 6 — Java-TX (Sitzungsleitung: Anton Ertl) |
|---|
| Julian Schmidt | Improving Generalization of Type Inference for Java-TX |
| Daniel Holle | Haskell-style Pattern Matching in Java-TX |
| Martin Plümicke | An Idea of Lazy Lambda Expressions in Java(-TX) |
| 13:30–15:00 |
|---|