|
Donnerstag, 25. Februar 2016
|
Veranstaltungsort: Imperial Riding School Renaissance Vienna Hotel, Raumübersicht
13:30 - 14:00 Registrierung
14:00 - 14:15 Begrüßung und Eröffnung
- 14:00 - 14:15 Ina Schaefer, Andreas Krall
14:15 - 15:15 Sitzung 1: (Sitzungsleitung: Jens Knoop)
- 14:15 - 14:45 Matthias Hirzel und Herbert Klaeren.
Graph-Walk-based Selective Regression Testing of Web~Applications Created with Google~Web Toolkit.
- 14:45 - 15:15 Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani und Ina Schaefer.
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts.
15:15 - 15:45 Kaffeepause
15:45 - 16:45 Sitzung 2: (Sitzungsleitung: Ina Schaefer)
- 15:45 - 16:15 Stefan Marr, Elisa Gonzalez Boix und Hanspeter Mössenböck.
Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems.
- 16:15 - 16:45 Martin Plümicke.
Structural type inference in Java-like languages.
|
Freitag, 26. Februar 2016
|
Veranstaltungsort: Imperial Riding School Renaissance Vienna Hotel, Raumübersicht
08:00 - 09:00 Registrierung
09:00 - 10:00 Sitzung 3: Eingeladener Hauptvortrag (Sitzungsleitung: Baltasar Trancón Y Widemann)
10:00 - 10:30 Kaffeepause
10:30 - 12:30 Sitzung 4: Sprachimplementierung und Programmanalyse (Sitzungsleitung: Andreas Krall)
- 10:30 - 11:00 Michael Hanus und Jan Rasmus Tikovsky.
A Parser Generator System for Level-based Programming Languages.
- 11:00 - 11:30 Vincent von Hof, Konrad Fögen und Herbert Kuchen.
Compilezeit-Prüfung von Spring-Konfigurationen.
- 11:30 - 12:00 Baltasar Trancón Y Widemann und Markus Lepper.
Higher-Order Causal Stream Functions in Sig From First Principles.
- 12:00 - 12:30 David Sabel und Manfred Schmidt-Schauss.
A Call-by-Need Lambda Calculus with Scoped Work Decorations.
(Folien)
12:30 - 12:35 Abschluss und Verabschiedung
- 12:30 - 12:35 Ina Schaefer, Andreas Krall
12:35 - 14:00 Mittagspause