6. Arbeitstagung Programmiersprachen (ATPS 2013)

Veranstaltet von der
GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"
im Rahmen der Software Engineering 2013

Tagungsprogramm

Zusammenfassungen einblenden             Druckversion          Zurück

08:00 - 08:30   Registrierung

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: N.N.)

• 14:00 - 14:30 Henning Heitkötter, Tim A. Majchrzak und Herbert Kuchen. MD²-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.

18:30 - 18:35   Abschluss und Verabschiedung

• 18:30 - 18:35 Jens Knoop, Janis Voigtländer