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

Sitzung: Tools (10:30 - 11:50)

  • 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