Gesellschaft für Informatik e.V.

Einladung

31. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

28.–30. April 2014 im Physikzentrum Bad Honnef

Programm

10:20–12:30 Uhr

• Begrüßung (Baltasar Trancón Widemann und Janis Voigtländer)
• Sebastian Fischer (Universität Kiel)
  Backtracking in unterschiedlichen Programmierparadigmen
• Frank Huch (Universität Kiel)
  Stolpersteine bei der Integration funktionaler Konzepte in die imperative Programmierung
• Andreas Stadelmeier (Duale Hochschule Baden-Württemberg)
  Typinferenz für Java 8 als Eclipse Plugin
• Martin Plümicke (Duale Hochschule Baden-Württemberg)
  Generic instances in Java Byte Code

12:30–14:00 Mittagspause

14:00–15:30 Uhr

• Folke Will (Universität Kiel)
  Kianxali: Kieler Analyzer for Executables and Libraries
• Markus Lepper (semantics GmbH)
  Translets: a lightweight parser combinator library
• Christian Heinlein (Hochschule Aalen)
  Übersetzung von MOSTflexiPL nach PostScript

15:30–16:00 Kaffeepause

16:00–17:30 Uhr

• Björn Peemöller (Universität Kiel)
  A Partial Evaluator for FlatCurry
• Jan Rasmus Tikovsky (Universität Kiel)
  Solving FD constraints incrementally using KiCS2
• Stefan Mehner (Universität Bonn)
  Parametrizität und freie Theoreme für Curry

18:30 Uhr Abendessen

9:00–10:30 Uhr

• Carl Friedrich Bolz (King's College London)
  Unipycation: A Case Study in Cross-Language Tracing
• Clemens Grelck (Universität Amsterdam)
  Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC
• Baltasar Trancón Widemann (Technische Universität Ilmenau)
  The Sound of Coinduction

10:30–11:00 Kaffeepause

11:00–11:30 Uhr

• Gergö Barany (Technische Universität Wien)
  Python Interpreter Performance Deconstructed

11:30 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

bis 12:30 Uhr

• Offene verteilte Demo-Runde

12:30–14:00 Mittagspause

ab 14:00 Uhr Gemeinsame Wanderung/Exkursion

18:30 Uhr Conference Dinner

9:00–10:30 Uhr

• Nikita Danilenko (Universität Kiel)
  Searching Disjoint Paths Functionally
• David Schneider (Universität Düsseldorf)
  Towards B as a High-Level Constraint Modelling Language – Solving the Jobs Puzzle Challenge
• Volker Stolz (Universität Oslo)
  Extending abstract behavioral specifications with Erlang-style error handling

10:30–11:00 Kaffeepause

11:00–12:30 Uhr

• Tobias Gödderz (Universität Bonn)
  Automatisiertes Testen einer Operationsinvarianz
• Helmut Grohne (Universität Bonn)
  Korrektheit einer Bidirektionalisierung mit Agda
• Martin Steffen (Universität Oslo)
  A type and effect system for deadlock detection and its formalization in Ott and Coq

12:30 Mittagessen und Ende des Workshops