Gesellschaft für Informatik e.V.

Einladung

35. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

2.–4. Mai 2018 im Physikzentrum Bad Honnef

Programm

10:20–12:30 Uhr

• Begrüßung (Jens Knoop, Peter Thiemann und Baltasar Trancón Widemann)
• Sitzung I: Test & Verifikation
• Peter Thiemann (Universität Freiburg)
  Generating Tests for Regular Expression Engines
• Jan Rasmus Tikovsky (Universität Kiel)
  Instrumentation of Functional Logic Programs for Concolic Testing
• Thomas Heinze (Universität Jens)
  Schritte zu einer zertifizierten Taint-Analyse
• Marcellus Siegburg (Universität Kiel)
  Towards automatic verification of Matlab State Charts - Transforming state charts with requirements into SMT-LIB

12:30–14:00 Mittagspause

14:00–15:30 Uhr

• Sitzung II: Java
• Martin Plümicke (Duale Hochschule Baden-Württemberg)
  Optimierung der Java Typunifikation
• Andreas Stadelmeier (Duale Hochschule Baden-Württemberg)
  Laufzeitoptimierung von Java Typinferenz
• Fayez Abu Alia (Universität Kiel)
  Java-Bytecode Generierung

15:30–16:00 Kaffeepause

16:00–17:30 Uhr

• Sitzung III: Domänenspezifisches
• Jan Dageförde (Universität Münster)
  Ansätze zur Traversierung von Muli-Suchbereichen mit Lösungsräumen unbekannter Größe
• Jan Christiansen (Hochschule Flensburg)
  Verwendung von Programmiersprachentechniken in der Sozialwahltheorie
• Baltasar Trancón Widemann (semantics GmbH)
  Improvisierte synchrone Datenflussprogrammierung mit Netz und doppeltem Boden

18:30 Uhr Abendessen

9:00–10:00 Uhr

• Sitzung IV: Programmstrukturen
• Christian Heinlein (Hochschule Aalen)
  Operatoren mit optionalen und wiederholten Syntaxteilen in MOSTflexiPL
• Markus Lepper (semantics GmbH)
  Rewriting for Parametrization

10:00–11:00 Uhr

• Sitzung V: Demos

11:00–11:30 Kaffeepause

11:30 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

12:30–14:00 Mittagspause

ab 14:00 Uhr Gemeinsame Wanderung/Exkursion

18:30 Uhr Conference Dinner

Freitag, 4. Mai 2018

9:00–10:30 Uhr

• Sitzung V: Curry
• Finn Tegen (Universität Kiel)
  Improving the Run-time Behaviour of Non-deterministic Programs in KiCS2
• Sandra Dylus (Universität Kiel)
  Beweise über Programme mit call-time-choice-Semantik in Coq
• Marius Rasch (Universität Kiel)
  Combining Static and Dynamic Contract Checking for Curry

10:30–11:00 Kaffeepause

11:00–12:30 Uhr

• Sitzung VII: Verschiedenes
• Clemens Grelck (Universität Amsterdam)
  tba
• Martin Steffen (Universität Oslo)
  Operational Semantics of a Weak Memory Model with Channel Synchronization
• Plenumsdiskussion zum Thema:
  Programmiersprachen und Übersetzerbau: Ein Gebiet mit Zukunft

12:30 Mittagessen und Ende des Workshops



Jens Knoop