Gesellschaft für Informatik e.V.

Einladung

41. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

9.–11. April 2025 im Physikzentrum Bad Honnef

Finales Programm   [Programm (vorläufig, pdf)]

13:50–14:00 Uhr – Eröffnung

• Begrüßung (Baltasar Trancón Widemann)

14:00–15:00 Uhr – Sitzung I: Typen (Sitzungsleiter: Christian Heinlein)

• Robin Stunic (FernUniversität Hagen)
  Kodierung von einfachen Funktionstypen über Äquivalenzklassen
• Peter Thiemann (Universität Freiburg)
  Ordered Types for Typestate
• Marius Weidner (Universität Freiburg)
  There is Life in the Universe Beyond Omega

15:00–15:30 Kaffeepause

15:30–16:30 Uhr – Sitzung II: Compiler (Sitzungsleiter: Clemens Grelck)

• Wolf Zimmermann (Universität Halle-Wittenberg)
  Feingranulare inkrementelle Konstruktion von Compilern - Erfahrungsbericht
• Tim Matussek (Universität Düsseldorf)
  Superoptimierung für Datenstrukturen
• Baltasar Trancón Widemann (TH Brandenburg)
  alea compilata est: Codeerzeugung für ein domänenspezifische Sprache für Zufallsexperimente

16:30–17:00 Kaffeepause

17:00–18:00 Uhr – Sitzung III: Werkzeuge (Sitzungsleiter: Jens Knoop)

• Marcellus Siegburg (Universität Duisburg-Essen)
  A Framework for Modelling tasks
• Werner Dietl (University of Waterloo)
  JSpecify and two general insights
• Benjamin Stürz (TH Brandenburg)
  bmk: Ein weiteres make(1), aber diesmal richtig!

09:00–10:20 Uhr – Sitzung IV: Sprachdesign (Sitzungsleiter: Marcellus Siegburg)

• Andreas Stadelmeier (Duale Hochschule Baden-Württemberg)
  Java Typinferenz mithilfe von Answer Set Programming
• Daniel Holle (Duale Hochschule Baden-Württemberg)
  Pattern Matching in Java-TX
• Ruben Kraft (Duale Hochschule Baden-Württemberg)
  JLS - Language Extension for Java-TX
• Martin Plümicke (Duale Hochschule Baden-Württemberg)
  Java-TX Roadmap 2025ff

10:20–10:35 Kaffeepause

10:35–11:15 Uhr – Sitzung V: KI (Sitzungsleiter: Wolf Zimmermann)

• Matthias Bernard (UniBW München)
  LLM-basierte Code-Diversity
• Jens Knoop (TU Wien)
  Die Programmier(er)ausbildung in den Zeiten der generativen KI

11:30-12:15 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

12:30 Mittagessen

14:00–15:00 Uhr – Sitzung VI: Maschinennahes (Sitzungsleiter: Baltasar Trancón Widemann)

• David Markvica (UniBW München)
  Empirische Analyse von Compilergeneriertem Maschinencode
• Anton Ertl (TU Wien)
  Rechnen mit großen ganzen Zahlen
• Nils Scheidweiler (Universität Jena)
  Runtime System for Stream-based Applications with Real-time Requirements

ab 15:00 Uhr – Gemeinsame Wanderung/Exkursion zur Klosterruine Heisterberg

18:30 Uhr Conference Dinner

09:00–10:20 Uhr – Sitzung VII: Sprachdesign (Sitzungsleiter: Friedrich Steimann)

• Michael Hanus (Universität Kiel)
  Can Logic Programming be Liberated from Predicates and Backtracking?
• Björn Lötters (TH Mittelhessen)
  Noo - Towards a Meta-Language Calculus
• Christian Heinlein (Hochschule Aalen)
  Vorrangregelung in MOSTflexiPL mit direkten und indirekten Ausschlussangaben
• Volker Stolz (Western Norway University of Applied Sciences, Bergen)
  Aktive Objekte mit Abhängigkeiten

10:20–10:35 Kaffeepause

10:35–11:35 Uhr – Sitzung VIII: Testen und Security (Sitzungsleiter: Anton Ertl)

• Vasil Sarafov (UniBW München)
  Limitierungen von Fuzzing Systemen
• Felix Berlakovic (UniBW München)
  Warehouse-scale fuzzing - Herausforderungen und Möglichkeiten
• Stefan Brunthaler (UniBW München)
  Reflektionen zu Reflections on Trusting Trust

11:35–11:50 Kaffeepause

11:50–12:30 Uhr – Sitzung IX: Curry (Sitzungsleiter: Janis Voigtländer)

• Nils Bunkenburg (Universität Kiel)
  Faule Auswertung braucht strikte Verwertung
• Kai-Oliver Prott (Universität Kiel)
  Curry unter Kontrolle: Typinferenz für Nichtdeterminismus

12:30 Mittagessen

14:00–15:00 Uhr – Sitzung X: Tool-Demos

• Verschiedene

15:00–15:10 Uhr – Schließung

• Verabschiedung und auf Wiedersehen im Physikzentrum Bad Honnef 2026! (Baltasar Trancón Widemann)