Tagungsprogramm

Montag, 27. September 2021

8:30 Registrierung

9:15 Begrüßung

9:30 - 10:30: Sitzung 1 (Leitung: Michael Hanus)

• Fritz Henglein (University of Copenhagen): Combinatory differentiation: From category theory to high-performance automatic differentiation
• Jan H. Boockmann, Kerstin Jacob (Otto-Friedrich-Universität Bamberg): Towards robustness testing of functions operating on dynamic data structures

10:30 - 11:00: Pause

11:00 - 12:30: Sitzung 2 (Leitung: Wolf Zimmermann)

• Clemens Grelck (Universiteit van Amsterdam): The TeamPlay coordination language for energy-, time and security-aware multi-core computing
• Luc Bläser (OST - Ostschweizer Fachhochschule): Parallel Helper: Erkennung von Fehlermustern hinsichtlich Nebenläufigkeit, Asynchronität und Parallelisierung in C#
• Ira Fesefeldt (RWTH Aachen): Preexpectation Reasoning for Concurrent Probabilistic Programs

12:30 - 14:00: Mittagessen

14:00 - 15:30: Sitzung 3 (Leitung: Luc Bläser)

• Christian Heinlein (Hochschule Aalen): Meta-Operatoren in MOSTflexiPL
• Nils Scheidweiler (Friedrich-Schiller-Universität Jena): Verwendung von Klonerkennung zum Auffinden von Signaturen von Malware-Familien: Eine Fallstudie über FinSpy
• André Schäfer (Friedrich Schiller University Jena): STUBBER : Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection

15:30 - 16:00: Pause

16:00 - 17:00: Sitzung 4 (Leitung: Wolfram Amme)

• Martin Plümicke, Etienne Zink (DHBW Stuttgart): Heterogene Übersetzung von echten Funktionstypen in Java-TX
• Andreas Stadelmeier (DHBW Stuttgart): Generalizing Java Type Inference

19:00 - ...: Abendessen und Beisammensein

Dienstag, 28. September 2021

9:00 - 10:30: Sitzung 5 (Leitung: Fritz Henglein)

• Niels Bunkenburg (CAU Kiel): Solver-Aided Verification of Declarative Programs: Non-Failure Condition Inference
• Kai-Oliver Prott (CAU Kiel): Making a Monadic Curry - The Quest for a Complete and Fast(er) Compiler Implementation
• Hendrik Winkelmann (Westfälische Wilhelms-Universität Münster): Constraint-Logische Objektorientierte Programmierung mit Muli

10:30 - 11:00: Pause

11:00 - 12:30: Sitzung 6 (Leitung: Martin Plümicke)

• Michael Hanus (CAU Kiel): Can Logic Programming Be Liberated from Backtracking?
• Albert Schimpf (Technische Universität Kaiserslautern): A formal type system and type checker for Erlang
• Boris Düdder (University of Copenhagen): Type-based program generation for software product lines

12:30 - 14:00: Mittagessen

14:00 - 18:30: Gemeinsame Exkursion

Ausfahrt mit der Kieler Hansekogge (falls es nicht zu stürmisch ist!). Es ist zu beachten, dass dies Schiff ein originalgetreuer Nachbau eines historischen Schiffes ist. Dies bedeutet, dass es dort keine warmen Aufenthaltsräume gibt, sondern die Fahrt auf dem Deck verbracht wird. Aus diesem Grund sollte man unbedingt rutschfestes Schuhwerk und wetterfeste und warme Kleidung dabei haben! Man weiß ja nie, wie das Wetter hier im Norden wird...

20:00 - ...: Abendessen und Beisammensein

Mittwoch, 29. September 2021

9:00 - 10:30: Sitzung 7 (Leitung: Thomas Noll)

• Samuel Pilz (TU Wien): Effektvolle Effekte und kontextueller Effektpolymorphismus
• Hannes Siebenhandl (TU Wien): Effektsysteme in Haskell
• M. Anton Ertl (TU Wien): The Essence of Closures

10:30 - 11:00: Pause

11:00 - 12:00: Sitzung 8 (Leitung: Jens Knoop)

• Friedrich Steimann (Fernuniversität in Hagen): Can Programming be Liberated From the Functional Style? Für die Einführung des Plurals in die (objektorientierte) Programmierung
• Finn Teegen (CAU Kiel): Haskell⁻¹: Automatic Function Inversion in Haskell

12:30 - 14:00: Mittagessen und Ende des Kolloquiums