Vorläufiges Programm
Achtung: Kurzfristige Änderungen sind bei Bedarf noch möglich !

Sonntag, 24. September 2017

    17:00 - 19:00     Registrierung
    ab 19:00     Gemeinsames Abendessen im Dorint Am Goethepark Weimar

Montag, 25. September 2017

    9:00 - 9:45     Registrierung
    9:45 - 11:30     Begrüßung und Willkommen
         
  • Geschichte der deutschsprachigen Informatik: Programmiersprachen und Übersetzerbau.
    Gerhard Goos
    11:30 - 11:45     Kaffeepause
    11:45 - 12:45     Sitzung 1 (Sitzungsleitung: Rudolf Berghammer)
          SSA-Form, Sicherheit und Verifikation
         
  • DeLICM - Undoing SSA Transformations for Polly.
    Michael Kruse

  • Modelling Haskell Programs with Free Monads.
    Sandra Dylus und Jan Christiansen
    12:45 - 14:30     Mittagessen
    14:30 - 16:00     Sitzung 2 (Sitzungsleitung: Christian Heinlein)
          Übersetzung, Grammatiken und Typen
         
  • The Intended Meaning of Undefined Behaviour in Programs.
    M. Anton Ertl

  • Eigenschaften typischer Muster auf geordneten Attributgrammatiken.
    Christian Berg und Wolf Zimmermann

  • Structural type inference in Java-like languages.
    Martin Plümicke
    16:00 - 16:30     Kaffeepause
    16:30 - 18:00     Sitzung 3 (Sitzungsleitung: Martin Plümicke)
          Sprachdesign und Spracherweiterung
         
  • Statische Analysen von Online-Befragungen mit der Programmiersprache liQuid.
    Thomas M. Prinz, Jan Plötner und Anja Vetterlein

  • Robust Projectional Editing.
    Marcus Frenkel und Friedrich Steimann

  • Zur Berechnung der softwaretechnischen Komplexität von einfachen objektorientierten Programmen.
    Marc Roßner
    ab 18:30     Abendessen im Dorint Am Goethepark Weimar

Dienstag, 26. September 2017

    9:30 - 10:30     Sitzung 4 (Sitzungsleitung: Anton Ertl)
          Sprachdesign, Lehre und Ausbildung
         
  • Weiterentwicklung von MOSTflexiPL.
    Christian Heinlein

  • An Online Scripting Language for Teaching Combinatorial Scientific Computing.
    M. Ali Rostami und Martin Bücker
    10:30 - 11:00     Kaffeepause
    11:00 - 12:30     Sitzung 5 (Sitzungsleitung: Michael Kruse)
          Parallele Programme und Parallelisierung
         
  • Using Hypertree Decomposition for Parallel Constraint Solving.
    Ke Liu, Sven Löffler und Petra Hofstedt

  • Vectorizing Mathematical Expressions.
    Joachim Giesen, Julien Klaus und Sören Laue

  • Hyperedge replacement grammars for lock-sensitive analysis of parallel programs.
    Sebastian Kenter
    12:30 - 14:30     Mittagessen
    14:30 - 16:00     Sitzung 6 (Sitzungsleitung: Jens Knoop)
          Programmanalyse und -optimierung
         
  • Security Through Safety.
    Benedikt Nordhoff

  • Abstrakte Interpretation auf domänenspezifischen Sprachen für graphbasierte Optimierungsprobleme.
    Benjamin Saul

  • JavaTX.
    Andreas Stadelmeier und Martin Plümicke
    16:00 - 16:30     Kaffeepause
    ab 17:30     Stadtrundgang und anschließendes Abendessen im Restaurant Jagemanns (Herderplatz 16)

Mittwoch, 27. September 2017

    9:00 - 10:30     Sitzung 7 (Sitzungsleitung: Thomas Prinz)
          Constraint-Programmierung
         
  • Varianten der Typableitung für Dart.
    Thomas Heinze, Anders Møller und Fabio Strocco

  • Muli: Constraint-Programmierung in Java auf symbolischer JVM.
    Jan C. Dageförde und Herbert Kuchen

  • The Power of Regular Constraints in CSPs.
    Sven Löffler, Ke Liu und Petra Hofstedt
    10:30 - 11:00     Kaffeepause
    11:00 - 12:00     Sitzung 8 (Sitzungsleitung: Thomas Heinze)
          Softwaretechnik, Engineering
         
  • Unit Testing von Datenbank-getriebenen Java Enterprise Edition Anwendungen.
    Andreas Fuchs

  • Automatisiertes Erkennen dynamischer Datenstrukturen in C-Programmen und Binärcode.
    Jan H. Boockmann, Gerald Lüttgen, Thomas Rupprecht and David H. White
    12:00 - 12:30     Verabschiedung und Auf Wiedersehen auf der KPS 2019 !
    ab 12:30     Mittagessen