Navigation:

• Willkommen
• Tagungsort
• Termine
• Anmeldung
• Anreise
• Teilnehmer
• Programm
• Tagungsband
• Organisation
• Geschichte

Programm

Eine pdf-Version des Programms zum Ausdrucken findet sich hier.

Sonntag, 11. Oktober 2009

17:00 - 19:00    Registrierung

19:00 - ...    Gemeinsames Abendessen

Montag, 12. Oktober 2009

08:00 - 08:30    Registrierung

08:30 - 08:45    Begrüßung

08:45 - 10:15    Sitzung 1

Leitung: Jens Knoop

• Computing and Visualizing Closure Objects Using Relation Algebra and RelView (Vortragsfolien)
  Rudolf Berghammer (Christian-Albrechts-Universität zu Kiel)

• Type-Safe Bytecode Generation in Scala (Vortragsfolien)
  Peter Thiemann (Universität Freiburg)

• Concurrency Engineering with S-Net (Vortragsfolien)
  Clemens Grelck (Universiteit van Amsterdam und University of Hertfordshire)

• Communication-based System Development using Standard Programming Languages (Vortragsfolien)
  Annette Stümpel (Universität zu Lübeck)

• On Undecidability Results of Real Programming Languages (Vortragsfolien)
  Wolf Zimmermann (Martin-Luther Universität Halle-Wittenberg)

• Set Functions for Functional Logic Programming (Vortragsfolien)
  Michael Hanus (Christian-Albrechts-Universität zu Kiel)

10:15 - 10:50    Kaffeepause

10:50 - 12:30    Sitzung 2

Leitung: Peter Thiemann

• Rapid Development of Dynamic Analysis Tools for the Java Virtual Machine (Vortragsfolien)
  Walter Binder (Universita della Svizzera italiana, Lugano)

• Lazy Continuations for Java Virtual Machines (Vortragsfolien)
  Lukas Stadler (Johannes Kepler Universität Linz)

• Towards Dynamic Code Evolution for the HotSpot VM (Vortragsfolien)
  Thomas Würthinger (Johannes Kepler Universität Linz)

• Inline Caching meets Quickening (Vortragsfolien)
  Stefan Brunthaler (Technische Universität Wien)

• Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems (Vortragsfolien)
  Dietmar Schreiner (Technische Universität Wien)

12:30 - 14:20    Mittagessen

14:20 - 16:00    Sitzung 3

Leitung: Helmut Veith

• An Algebraic Framework for Modeling and Processing Hyperdocuments (Vortragsfolien)
  Volker Mattick (Technische Universität Dortmund)

• Maintaining XML Data Integrity in Programs - An Abstract Datatype Approach (Vortragsfolien)
  Patrick Michel (Technische Universität Kaiserslautern)

• Tree Automata for Analyzing Dynamic Pushdown Networks (Vortragsfolien)
  Peter Lammich (Westfälische Wilhelms-Universität Münster)

• Adding Weights to Dynamic Pushdown Networks (Vortragsfolien)
  Alexander Wenner (Westfälische Wilhelms-Universität Münster)

• The Reachability-Bound Problem (Vortragsfolien)
  Florian Zuleger (Technische Universität Darmstadt)

16:00 - 16:45    Kaffeepause

16:45 - 18:25    Sitzung 4

Leitung: Michael Hanus

• Typsicheres und generisches MapReduce (Vortragsfolien)
  Jens Dörre (Universität Passau)

• Reinventing Haskell Backtracking (Vortragsfolien)
  Sebastian Fischer (Christian-Albrechts-Universität zu Kiel)

• Towards a Parallel Search for Solutions of Non-deterministic Computations (Vortragsfolien)
  Fabian Reck (Christian-Albrechts-Universität zu Kiel)

• Lambdas und Schleifen in monotonen Logikprogrammen (Vortragsfolien)
  Ulrich Neumerkel (Technische Universität Wien)

• Erfahrungen bei der Auswahl von maschinenunabhängigen Optimierungen im Bereich des mobilen Codes (Vortragsfolien)
  Wolfram Amme (Friedrich-Schiller-Universität Jena)

19:00 - ...    Abendessen

Dienstag, 13. Oktober 2009

08:30 - 10:10    Sitzung 5

Leitung: Annette Stümpel

• Static Timing Analysis for Hard Real-Time Systems (Vortragsfolien)
  Sebastian Altmeyer (Universität des Saarlandes, Saarbrücken)

• Automatic Calculation of Coverage Profiles for Coverage-based Testing (Vortragsfolien)
  Raimund Kirner (Technische Universität Wien)

• Rekursionspräzise Intervallanalysen (Vortragsfolien)
  Dirk Richter (Martin-Luther-Universität Halle-Wittenberg)

• Generation of Incremental Parsers for Modern IDEs (Vortragsfolien)
  Christoph Höger (Technische Universität Berlin)

• Programmierung als Leitbild in der Theorie der Ökosysteme (Vortragsfolien)
  Baltasar Trancon y Widemann (Universität Bayreuth)

10:10 - 10:45    Kaffeepause

10:45 - 12:15    Sitzung 6

Leitung: Wolf Zimmermann

• Fraglets: Chemical Programming with a Packet Prefix Language (Vortragsfolien)
  Christian Tschudin (Universität Basel)

• Fraglets: Stochastic Programming for Provable Program Dynamics and Self-Healing Programs (Vortragsfolien)
  Thomas Meyer (Universität Basel)

• MultiMediaC# - QoS-Aware Programming with C# (Vortragsfolien)
  Oliver Lampl (Alpen-Adria Universität Klagenfurt)

• FQL: A Query Language for Program Testing (Vortragsfolien)
  Michael Tautschnig (Technische Universität Darmstadt)

• Technische Aspekte des erfolgreichen Testens von Software in Unternehmen (Vortragsfolien)
  Tim A. Majchrzak (Westfälische Wilhelms-Universität Münster)

• Verbesserung der Modellbildung und Analyse verteilter Geschäftsprozesse durch Prozessumstrukturierung (Vortragsfolien)
  Thomas Heinze (Friedrich-Schiller-Universität Jena)

12:15 - 13:45    Mittagessen

13:45 - 14:45    Sitzung 7

Leitung: Rudolf Berghammer

• SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis (Vortragsfolien)
  Gergö Barany (Technische Universität Wien)

• ARAL: a Language for Information Exchange between Program Analysis Tools (Vortragsfolien)
  Markus Schordan (Fachhochschule Technikum Wien)

• Towards a Static Profiler (Vortragsfolien)
  Adrian Prantl (Technische Universität Wien)

• Automatic Tool Generation from Structural Processor Descriptions (Vortragsfolien)
  Florian Brandner (Technische Universität Wien)

15:00 - 19:00    Ausflug nach Melk

19:30 - ...    Abendessen mit Weinverkostung

Mittwoch, 14. Oktober 2009

8:30 - 10:00    Sitzung 8

Leitung: Clemens Grelck

• Automatische Paketisierung (Vortragsfolien)
  Sebastian Hack (Universität des Saarlandes, Saarbrücken)

• Utilizing Multiple Hardware Threads with Pipeline Parallelism (Vortragsfolien)
  M. Anton Ertl (Technische Universität Wien)

• A New Look on Data Parallelism: Space vs. Time (Vortragsfolien)
  Sven-Bodo Scholz (University of Hertfordshire)

• A Formalisation of the OSEK Concurrency Model (Vortragsfolien)
  Martin Schwarz (Technische Universität München)

• How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming (Vortragsfolien)
  Franz Puntigam (Technische Universität Wien)

• Programming Support for Cell/BE Multiprocessor (Vortragsfolien)
  Eduard Mehofer (Universität Wien)

10:00 - 10:35    Kaffeepause

10:35 - 12:15    Sitzung 9

Leitung: Hans Langmaack

• CPAchecker: A Tool for Configurable Software Verification (Vortragsfolien)
  Dirk Beyer (Simon Fraser University, Surrey, B.C.)

• A Sound, Complete and Usable Hoare-Style Logic for a Sequential Java Subset (Vortragsfolien)
  Christoph Feller (Technische Universität Kaiserslautern)

• Generierung von Hyperkantenersetzungsgrammatiken zur Heapabstraktion (Vortragsfolien)
  Christina Jansen (RWTH Aachen)

• Statische Erkennung von semantischen Feature-Interaktionen (Vortragsfolien)
  Wolfgang Scholz (Universität Passau)

• Functional Program Verification in Theorema. Soundness and Completeness (Vortragsfolien)
  Nikolaj Popov (RISC, Johannes Kepler Universität Linz)

12:15 - 12:30    Kaffeepause

12:30 - 13:00    Sitzung 10

Leitung: Christian Tschudin

• Combining Automated Reasoning and Algebraic Methods in Theorema (Vortragsfolien)
  Tudor Jebelean (RISC, Johannes Kepler Universität Linz)

• From Trusted Annotations to Verified Knowledge (Vortragsfolien)
  Jens Knoop (Technische Universität Wien)

13:00 - 13:10    Verabschiedung

13:10 - 14:30    Mittagessen