| So 28.4.2024 |
|---|
| 08:50–09:00 |
|---|
| 09:00–10:40 | Session 1 — Semantik — (Sitzungsleitung: Jens Knoop) |
|---|
| Peter Thiemann | Tagless Interpretation of Stratified System F |
| Ahmed Abdelraoof | Formal Presentation of Indexed Families of Types |
| Wolf Zimmermann | Small Step Iterative Development of Verified Compilers |
| Michael Hanus | Inference and Verification of Arithmetic Non-Fail Conditions in Declarative Programs |
| Janek Spaderna | Trees of Variables: A Bottom-Up Approach to Modelling Linear Values in Agda |
| 11:10–12:30 | Session 2 — Compiler — (Sitzungsleitung: Markus Lepper) |
|---|
| Alina Weber | Compartmentalization Through Diversification for Node.js |
| Kai Prott | Compileroptimierung von Curry-Code mit Haskell als Zielsprache |
| Vasil Sarafov | Dekompilierung von Maschinencode |
| Lukas Gail | Hybrid SSA: Connecting reversible and classical computing |
| 14:00–15:40 | Session 3 — Domänen & Paradigmen — (Sitzungsleitung: Anton Ertl) |
|---|
| Friedrich Steimann | Skizze einer konkatenativen relationalen Sprache |
| Volker Stolz | Aggregate Programming – Programmierung dynamischer verteilter Systeme mit verbindungsloser Kommunikation |
| Sven-Bodo Scholz | SHRAY – an Owner-Compute Distributed Shared Memory System |
| Clemens Grelck | Fault-tolerance with the TeamPlay Coordination Language |
| Niels Bunkenburg | Anwendung einer adapterbasierten Effektmodellierung zur Implementierung eines Interpreters |
| 16:10–17:30 | Session 4 — Sprachen & Engineering — (Sitzungsleitung: Peter Thiemann) |
|---|
| Thomas Kühn | Language Product Line Engineering – Opportunities and Challenges |
| Janis Voigtländer | Parametrisierung von Haskell-Programmieraufgaben |
| Marco Haase | Untersuchung der Verwendung großer Sprachmodelle als Verarbeitungsschicht eines Language Servers für die domänenspezifische Sprache PlantUML |
| Markus Lepper | Morton Feldman's „Projections One to Five“ – Exploring a Classical Avant-Garde Notation by Mathematical Remodelling |
| 19:00–20:00 | Jens Knoop | Artificiosa intelligentia ad portas! Oder: „The end of programming, the beginning of prompting?“ (Diskussion) |
|---|
| Mo 29.4.2024 |
|---|
| 09:00–10:40 | Session 5 — Syntax — (Sitzungsleitung: Wolf Zimmermann) |
|---|
| Baltasar Trancón y Widemann | Token by Surprise: Just-in-Time Construction of Lexical Analyzers |
| Benjamin Stürz | Visualisierung Lexikalischer Automaten |
| Björn Lötters | Generalizing Context-Free Subphrase Grammars |
| Robin Stunic | Erzeugung von Blockly-Editoren aus Dependenz-Grammatiken |
| Marcellus Siegburg | A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances |
| 11:10–12:30 | Session 6 — Interpreter — (Sitzungsleitung: Volker Stolz) |
|---|
| Stefan Brunthaler | Next Challenges in Python Performance Optimziation |
| David Marvica | Effiziente Ausführung von SIMD Bytecodes in Interpretern |
| Anton Ertl | Wie effizient können Interpreter sein? |
| Marcus Raab | Precise to Universal Configurations: Elektra to PermaplanT |
| 14:00–18:00 |
|---|
| 19:30–20:00 | Baltasar Trancón y Widemann | Humoristischer Kanon (Uraufführung) |
|---|
| Di 30.4.2024 |
|---|
| 09:00–10:20 | Session 7 — Java-TX — (Sitzungsleitung: Baltasar Trancón y Widemann) |
|---|
| Martin Plümicke | Featherweight-Java-TX: A Minimal Core Calculus for Java-TX (FJ-TX) |
| Andreas Stadelmeier | Global Type Inference for Featherweight Java with Wildcards |
| Daniel Holle | Pattern Matching in Java-TX |
| Julian Schmidt | Java-TX-Compiler in Java-TX |
| 10:20–11:30 |
|---|
| 11:30–12:30 |
|---|