Donnerstag
Abendessen (19:00)
Freitag
Sitzung: Eröffnung (09:00 - 10:00)
- Stefan Brunthaler: Eröffnung
- Jens Knoop: Generative AI: Just Another Productivity Enhancing Programming Tool?
- Julian Schmidt: A Brief Comparison of Module Systems in SML and Java
Sitzung: Compiler 1 (10:30 - 11:50)
- Felix Berlakovich: Cross-Module Quickening: The Curious Case of C Extensions
- M. Anton Ertl: Code-copying compilation in production — An Experience Report
- Vasil Sarafov: Verborgene Eigenschaften von compilererzeugtem Maschinencode sowie deren Implikationen
- Sebastian Hack: Inferring Rewrite Rules with Program Synthesis
Mittagessen (12:00 - 13:30)
Sitzung: Programmiersprachen (13:30 - 14:30)
- Stefan Marr: Is this a Language Killed by Incremental Improvements? Python, Can We Help?
- Christian Heinlein: Fortgeschrittene Syntaxerweiterungen mit MOSTflexiPL
- Baltasar Trancón Widemann: Ein Typsystem für eine deklarative Sprache über ausführbare Zufallsexperimente
Sitzung: Interpreter & Runtimes (15:00 - 16:00)
- Tim Matussek: Bisimulation: Analyse von divergierenden Interpreterimplementationen
- David Markvica: Revisiting interpreter folklore with μWASM
- Clemens Grelck: Designing Real-time Mission-critical Systems with the TeamPlay Coordination Language
Abendessen (19:00)
Samstag
Sitzung: Hardwarenahes (09:00 - 10:00)
- Daniel Dorfmeister: Angluerus: Data-based Hardware-Software Binding Through Rowhammer
- Nils Scheidweiler: Enhancing Security and Robustness in Cyber-physical Systems with the Lemming Runtime - System
- Eric Wintzler: Revising the TeamPlay Coordination Language: JenPlay
- Stephan Mitte: T3: Tree Transformation Tool
- Stefan Brunthaler: Semantic Patching: Language-based Automatic Program Repair
- Martin Plümicke: Ein Language-Server für Java-TX
- Markus Lepper: d2d = XML für Autoren
Mittagessen (12:00 - 13:30)
Ausflug & Abendessen (14:00 - 19:30)
- 14:00 Abfahrt nach Maxlrain mit Bus
- 14:30 Fuehrung in Maxlrain
- 16:00 - 19:00 Abendessen in Maxlrain Braustüberl
- 19:00 Rückfahrt mit Bus zur IHK Akademie
Sonntag
Sitzung: Compiler 2 (09:00 - 10:00)
- Felix Berlakovich : LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing
- Thomas Kühn: Towards Language Product Line Engineering Using Classic Compiler Generators
- Wolf Zimmermann: Inkrementelle Verifikation inkrementell konstruierter Compiler
Sitzung: Diverses (10:30 - 11:50)
- Fritz Henglein: Programming Joins
- Edward Sabinus: Umsetzbare Abbildung von Untersorten und partiellen Operationen auf Many-Sorted-Algebra - mit Konstruktoren
- Daniel Holle: Java-TX Pattern — Next step
- Christian Hammer: Programmanalyse für Multisprachen-Programme
Mittagessen (12:00 - 13:30)
Abreise