AG Programmiersprachen und Übersetzerkonstruktion

Wintersemester 15/16

  • Mi. 04.11.15 Karsten Pietrzyk
    Entwicklung plattformunabhängiger GUI-Anwendungen mit DSLs

  • Mi. 11.11.15 Sven Hüser
    Implementierung von Constraint-Lösern für Curry mittels SMT

  • Mi. 18.11.15 Jan Clemens Gehrcke
    Monoton wachsende Datenstrukturen in Transaktionen

  • Mi. 25.11.15 Katharina Rahf
    Style Checking for Curry Programs

  • Mi. 02.12.15 Julia Krone
    Integration of SQL into Curry

  • Mi. 09.12.15 Jan-Patrick Baye
    CurryCheck - Unifying Curry's Testing Framework

  • Mi. 16.12.15 Karl Balzer
    Transactional Memory: Invyswell und BlueGene/Q TM, Ausarbeitung

  • Do. 17.12.15 Oliver Kwast
    Entwicklung einer verteilten Programmierumgebung zum gleichzeitigen Bearbeiten von Programmcode

  • Mi. 13.01.16 Jonas Oberschweiber
    Lenses and Lens Laws

  • Mi. 20.01.16 Thorben Droste
    Functional Reactive Programming with Liveness Guarantees, Ausarbeitung

  • Mi. 27.01.16 Thomas Ulrich
    Statisches Erkennen von race conditions, Ausarbeitung

  • Mi. 03.02.16 Mike Tallarek
    Verbesserung von Haskell-Typen mit SMT

  • Mi. 10.02.16 Lasse Kristopher Meyer
    Typsichere Web-Programmierung mit Servant

  • Mi. 17.02.16 Thomas Rossow
    Concolic Testing in imperativen und funktionalen
    Programmiersprachen

  • Mi. 24.02.16 Jens Christopher Schröder
    Concolic Testing in imperativen und funktionalen
    Programmiersprachen

  • Mi. 09.03.16 Finn Teegen
    Erweiterung von Curry um Typkonstruktorklassen

  • Mo. 21.03.16 Stefan Exner
    Entwicklung eines abschnittbasierten, softwaregestützten
    Transaktionssystems für Ruby und seine Verwendung
    in Ruby on Rails

  • Mi. 23.03.16 Sven Hüser
    Implementierung von Constraint-Lösern
    für Curry mittels SMT

  • Mi. 23.03.16 Jasper Paul Sikorra
    Funktional-logische Programmierung in Maude