Gesellschaft für Informatik e.V.

Einladung

39. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

9.–11. März 2023 im Physikzentrum Bad Honnef

Finales Programm   [Vorläufiges Programm (pdf)]

9:20–9:30 Uhr – Eröffnung

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

9:30–10:30 Uhr – Sitzung I: Semantik (Sitzungsleiter: Baltasar Trancón Widemann)

• Friedrich Steimann (FernUniversität Hagen)
  The Simply Numbered Lambda Calculus
• Laura Troost (Universität Münster)
  Dacite – ein Prototyp für umfassende dynamische Datenflussananalysen

10:30–11:00 Kaffeepause

11:00–12:30 Uhr – Sitzung II: Implementierung (Sitzungsleiter: Janis Voigtländer)

• Daniel Holle (Universität Tübingen)
  Neu schreiben des Bytecodegenerierers für Java-TX
• Klaus Schleisiek
  Compiler für Arme, wie Forth seinen Quellcode verarbeitet
• Markus Lepper (semantics GmbH)
  Visitor Optimization Revisited – umod meets LLjava

12:30–14:00 Mittagspause

14:00–15:30 Uhr – Sitzung III: Typen (Sitzungsleiter: Martin Plümicke)

• Stefan Wehr (Hochschule Offenburg)
  A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go
• Marius Weidner (Universität Freiburg)
  Formal Proof of Type Preservation of the Dictionary Passing Transform for System F
• Hannes Siebenhandl (TU Wien)
  Protocol Types for Effect Systems in Haskell

15:30–16:00 Kaffeepause

16:00–17:30 Uhr – Sitzung IV: Sprachkonstrukte (Sitzungsleiter: Markus Lepper)

• Samuel Pilz (TU Wien)
  Optimistic Mutation Operators in Rust via Autoref-based Specialization
• Hendrik Winkelmann (Universität Münster)
  Ein Überblick über `neue' Konzepte in Muli
• Christian Heinlein (Hochschule Aalen)
  Ein Vergleich von Operatoren in MOSTflexiPL (abgesagt)

18:30 Uhr Abendessen

9:00–11:00 Uhr – Sitzung V: Pragmatik (Sitzungsleiter: Jens Knoop)

• Herbert Kuchen (Universität Münster)
  An App for Personalized Rehabilitation After Ankle Inversion Trauma (abgesagt)
• Albert Schimpf (TU Kaiserslautern)
  Semantische Typen für Erlang
• Elena Yanakieva (TU Kaiserslautern)
  Modelling Spreadsheets using CRDTs
• Ulrich Hoffmann (FH Wedel)
  Ein Schritt in Richtung Seeing Spaces: [...] Visualisierung innerer Systemzustände
• Demo-Session, Akt I

11:00–11:30 Kaffeepause

11:30 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

12:30–14:00 Mittagspause

14:00–15:00 Uhr – Sitzung VI: Typen in Java-TX (Sitzungsleiter: Kai-Oliver Prott)

• Andreas Stadelmeier (Duale Hochschule Baden-Württemberg)
  Taming Wildcards: Unifikationsalgorithmus für generische Typen mit Wildcard
• Martin Plümicke (Duale Hochschule Baden-Württemberg)
  Avoiding the Capture Conversion in Java-TX?

ab 15:00 Uhr – Gemeinsame Wanderung/Exkursion

18:30 Uhr Conference Dinner

9:00–11:00 Uhr – Sitzung VII: Deklaratives (Sitzungsleiter: Ulrich Hoffmann)

• Janis Voigtländer (Universität Duisburg-Essen)
  Mutating Sample Solutions to Improve Prolog Excercise Tasks and Their Test Suites
• Timm Felden (felden.com)
  TYpe Research Language: Elaboration Order
• Kai-Oliver Prott (Universität Kiel)
  Determinismus-Typen zur Programmoptimierung und für den Programmierer in Curry
• Baltasar Trancón Widemann (Nordakademie)
  Die nächsten 197 Maßeinheiten-Bibliotheken – Realistische Algebra trifft auf realistische Typsysteme

11:00–11:30 Kaffeepause

11:30–12:30 Uhr – Sitzung VIII: Werkzeug-Demonstrationen

• Demo-Session, Akt II

12:30 Mittagessen und Ende des Workshops