Gesellschaft für Informatik e.V.

Einladung

32. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

4.–6. Mai 2015 im Physikzentrum Bad Honnef

Programm

10:20–10:30 Uhr: Begrüßung (Jens Knoop, Baltasar Trancón Widemann und Janis Voigtländer)

10:30–12:00 Uhr (Sitzungsleitung: Jens Knoop)

• Nikita Danilenko (Universität Kiel)
  A Relational map Function
• Helmut Grohne (Universität Bonn)
  Induktive Programsynthese mit Igor2
• Christian Heinlein (Hochschule Aalen)
  Parallele Programmierung mit MOSTflexiPL

12:30–14:00 Mittagspause

ab 14:00 Uhr Gemeinsame Wanderung/Exkursion

18:30 Uhr Abendessen

9:00–10:30 Uhr (Sitzungsleitung: Christian Heinlein)

• Stefan Mehner (Universität Bonn)
  Fold/Build-Fusion für Curry
• Jan Rasmus Tikovsky (Universität Kiel)
  Implementation of Haskell-like Records for Curry
• Volker Stolz (Høgskolen i Bergen)
  Search-based Composed Refactorings

10:30–11:00 Kaffeepause

11:00–12:30 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
• Offene verteilte Demo-Runde

12:30–14:00 Mittagspause

14:000–15:30 Uhr (Sitzungsleitung: Janis Voigtländer)

• Carl Friedrich Bolz (King's College London)
  A JIT for SQLite
• Jens Knoop (TU Wien)
  Towards Transparent Worst-Case Execution Time Optimization
• Michael Schröder (TU Wien)
  Transactional Memory with Finalizers

15:300–16:00 Kaffeepause

16:000–17:00 Uhr (Sitzungsleitung: Carl Friedrich Bolz)

• Markus Lepper (semantics GmbH)
  TPath und TXSL
• Baltasar Trancón y Widemann (TU Ilmenau)
  While Shepards Watched Their Flocks At Night — Dynamische Datenflussprogrammierung mit Sig

18:30 Uhr Conference Dinner

9:00–10:30 Uhr (Sitzungsleitung: Baltasar Trancón y Widemann)

• Sandra Dylus (Universität Kiel)
  Steigt der Hamburger SV ab?
• David Schneider (Universität Düsseldorf)
  Model-Based Problem Solving for University Timetable Validation and Improvement
• Anna-Katharina Wickert (TU Darmstadt)
  BAN-Analyse des Authentifizierungs-Schlüssels im MTProto Mobile Protocol

10:30–11:00 Kaffeepause

11:00–12:30 Uhr (Sitzungsleitung: Carl Friedrich Bolz)

• Eric Bodden (Fraunhofer SIT / TU Darmstadt)
  Harvesting Runtime Data in Obfuscated Android Applications
• Herbert Kuchen (Universität Münster)
  Überprüfung von Java-Assertions
• Martin Plümicke (DHBW Stuttgart)
  Introducing Scala-like functional interfaces into Java

12:30 Mittagessen und Ende des Workshops