Gesellschaft für Informatik e.V.

 früher
 FG 2.1.3  Implementierung von Programmiersprachen
 FG 2.1.4  Alternative Konzepte für Sprachen und Rechner
 

Einladung

  26. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

4. - 6. Mai 2009 im Physikzentrum Bad Honnef

Programm

  Montag, 4. Mai 2009

10:00 - 12.30 Uhr

• Begrüßung (Michael Hanus, CAU Kiel)
• Janis Voigtländer (TU Dresden)
  Free Theorems Involving Type Constructor Classes
• Jan Christiansen (Christian-Albrechts-Universität zu Kiel)
  Strict Observations
• Tim A. Majchrzak (Universität Münster)
  Using Coverage Analysis to Automatically Generate Test Cases
• Patrick Michel (Universität Kaiserslautern)
  Assertion Support for Manipulating Constrained Data-Centric XML
• Dirk Richter (Martin-Luther-Universität Halle-Wittenberg)
  Äquivalenzanalysen - exakt oder nicht - im Vergleich

12.30-14.00 Mittagspause

14.00 - 15.30 Uhr

• Christian Kästner (Universität Magdeburg)
  Sichere Produktlinien: Herausforderungen für Syntax- und Typ-Prüfungen
• Christian Hammer (Universität Karlsruhe)
  Informationsflussanalyse für Java
• Rebekka Neumann (Universität Paderborn)
  Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs

15.30-16.00 Kaffeepause

16.00 - 18.00 Uhr

• Baltasar Trancón y Widemann (Universität Bayreuth)
  Church vs. Curry
• Robert Glück (Universität Kopenhagen)
  Reversible Programming Languages
• Ulrich Hoffmann (Fachhochschule Wedel)
  Hardware/Software-Codesign mit dem MicroCore-Prozessor
• Hermann von Issendorff
  Zur Programmierung raumzeitlicher diskreter Systeme

18.15 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

18.30 Uhr Abendessen

9.00 - 10.30 Uhr

• Peter Thiemann (Universität Freiburg)
  Recency Types for JavaScript
• Fabian Reck (Christian-Albrechts-Universität zu Kiel)
  Ein graphischer Debugger für Haskells Software Transactional Memory
• Annette Bieniusa (Universität Freiburg)
  Actions in the Twilight: Eine Erweiterung zu Software Transactional Memory

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Adrian Prantl (TU Wien)
  Augmenting Programs with Analysis Results
• Carl Friedrich Bolz (Universität Düsseldorf)
  Tracing the Meta-Level: PyPy's Tracing JIT Compiler
• Stefan Brunthaler
  Optimizing High Abstraction-Level Interpreters

12.30-14.00 Mittagspause

14.00 Uhr Gemeinsame Wanderung

18.30 Uhr Conference Dinner

9.00 - 10.30 Uhr

• Yannick Welsch (Universität Kaiserslautern)
  Compatibility Criteria for Java Packages
• Stefan Wehr (Universität Freiburg)
  JavaGI: bessere Interfaces für Java
• Christian Heinlein (Hochschule Aalen)
  Zutaten für erweiterbare Programmiersprachen

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Bernd Braßel (Christian-Albrechts-Universität zu Kiel)
  Proposing Order-Sorted Algebra as Foundation for Declarative Programming
• Michael Leuschel (Universität Düsseldorf)
  Fast and Accurate Strong Termination Analysis
• Sebastian Fischer (Christian-Albrechts-Universität zu Kiel)
  Funktionaler fauler Nichtdeterminismus

12.30 Mittagessen und Ende des Workshops