Dienstag, 26. Februar 2013
|
Veranstaltungsort: Kármán-Auditorium, Foyer
08:00 - 08:30 Registrierung
Veranstaltungsort: Kármán-Auditorium, Hörsaal SFo4
08:30 - 08:45 Begrüßung und Eröffnung
- 08:30 - 08:45 Jens Knoop, Janis Voigtländer
08:45 - 09:45 Sitzung 1: Eingeladener Hauptvortrag (Sitzungsleitung: Janis Voigtländer)
- 08:45 - 09:45
Jürgen Giesl.
Automated Termination Analysis: From Term Rewriting to Programming
Languages.
09:45 - 10:00 Kurze Pause
10:00 - 10:30 Sitzung 2: Parallelität und Funktionale Programmierung (Sitzungsleitung: Clemens Grelck)
- 10:00 - 10:30 Till Berger und David Sabel.
Parallelizing DPLL in Haskell.
10:30 - 11:00 Kaffeepause
11:00 - 12:30 Sitzung 3: Sprachimplementierung und Programmanalyse (Sitzungsleitung: Wolf Zimmermann)
- 11:00 - 11:30 Gergö Barany.
Static and Dynamic Method Unboxing for Python.
- 11:30 - 12:00 Dennis Klassen.
ViCE-UPSLA: A Visual High Level Language for
Accurate Simulation of Interlocked Pipelined Processors.
- 12:00 - 12:30 Roland Lezuo, Gergö Barany und Andreas Krall.
CASM: Implementing an Abstract State Machine based Programming
Language.
12:30 - 14:00 Mittagspause
14:00 - 15:30 Sitzung 4: Sprachen und Analysen für mobile Systeme (Sitzungsleitung: Michael Leuschel)
- 14:00 - 14:30 Henning Heitkötter, Tim A. Majchrzak und Herbert Kuchen.
MD2-DSL - eine domänenspezifische Sprache zur
Beschreibung und Generierung mobiler Anwendungen.
- 14:30 - 15:00 Steven Arzt, Kevin Falzon, Andreas Follner,
Siegfried Rasthofer, Eric Bodden und Volker Stolz.
How useful are existing monitoring languages for securing
Android Apps?
- 15:00 - 15:30
Jürgen Graf, Martin Hecker und Martin Mohr.
Using JOANA for Information Flow Control in Java Programs -
A Practical Guide.
15:30 - 16:00 Kaffeepause
16:00 - 17:30 Sitzung 5: Modellierung in Theorie und Anwendung (Sitzungsleitung: Herbert Kuchen)
- 16:00 - 16:30 Reiner Jung, Christian Schneider und Wilhelm Hasselbring.
Type-Systems for Domain-specific Languages.
- 16:30 - 17:00 Jan Oliver Ringert, Bernhard Rumpe und Andreas Wortmann.
From Software Architecture Structure and Behavior
Modeling to Implementations of Cyber-Physical Systems.
- 17:00 - 17:30 Baltasar Trancón Y Widemann und Markus Lepper.
Paisley: A Pattern Matching Library for Arbitrary Object Models.
17:30 - 18:30 Sitzung 6: Eingeladenes Impulsreferat mit anschließender Podiums- und Publikumsdiskussion (Sitzungsleitung: Jens Knoop)
- 17:30 - 17:45
Wolf Zimmermann.
Modell-basierte Programmgenerierung und Methoden des
Übersetzerbaus - Zwei Seiten derselben Medaille?
- 17:45 - 18:30 Podiums- und Publikumsdiskussion.
Auf dem Podium: Clemens Grelck, Reiner Jung, Herbert Kuchen, Jan Oliver Ringert, Wolf Zimmermann.
18:30 - 18:35 Abschluss und Verabschiedung
- 18:30 - 18:35 Jens Knoop, Janis Voigtländer