Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4

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

Einladung

 

23. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte zusammen mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software) 3. - 5. Mai 2006 im Physikzentrum Bad Honnef Programm

 

Mittwoch, 3. Mai 2006

14.00 - 15.30 Uhr

• Begrüßung (Michael Hanus, Univ. Kiel)
• Jens Knoop (TU Wien)
  A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem
  
• Thomas Noll, Stefan Rieger (RWTH Aachen)
  Optimization of Straight-Line Code Revisited
  
• Markus Degen (Univ. Freiburg)
  Übersetzen und Optimieren von Simulink Modellen
  

15.30-16.00 Kaffeepause

• Rudolf Berghammer (Univ. zu Kiel)
  Über ein Werkzeug zur visuellen Auswertung funktionaler Programme
  
• Baltasar Trancón y Widemann (TU Berlin)
  Strikte zyklische Berechnungen: Von der Theorie zur Praxis
• Frank Huch, Frank Kupke (Univ. zu Kiel)
  Haskell Transaktionen in verteilten Systemen
• Hermann von Issendorff (Hemmoor)
  Eine gemeinsame Basis zur formalen Beschreibung von Software und Hardware

18.00 Uhr

• Mitgliederversammlung der Fachgruppe 2.1.4

18.30 Uhr Abendessen, Spaziergang

• Jens Bendisposto, Michael Leuschel (Univ. Düsseldorf)
  Rapid Visualization of B Specifications with Higher-Order Recursive Functions
• Christian Heinlein (Univ. Ulm)
  Effiziente Implementierung offener Typen
  
• Jan Schäfer (TU Kaiserlautern)
  Simple Lose Ownership Domains: A Type System Extension to Ensure Encapsulation in Object-Oriented Languages
  
• Manfred Widera (FernUniv. Hagen)
  Strukturorientiertes Testen funktionaler Programme

11.00 - 11.30 Kaffeepause

11.30 - 12.15 Uhr Gemeinsame Sitzung mit den Fachgruppen TAV (Test, Analyse und Verifikation von Software) und Software-Reengineering

• Andreas Zeller (Univ. des Saarlandes)
  Warum stürzt mein Programm ab? Automatisches Bestimmen von Fehlerursachen
  

12.30-14.00 Mittagspause

14.00 - 16.00 Uhr Gemeinsame Sitzung mit den Fachgruppen TAV (Test, Analyse und Verifikation von Software) und Software-Reengineering

• Frank Huch (Univ. Kiel)
  Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen
  
• Harry Sneed (ANECON GmbH, Wien, Universities of Regensburg and Passau)
  Reengineering for Testability
  

15.30 - 16.00 Kaffeepause

16.00 - 18.15 Uhr Gemeinsame Sitzung mit den Fachgruppen TAV (Test, Analyse und Verifikation von Software) und Software-Reengineering

• Walter Bischofberger (Software-Tomography GmbH, Zug)
  Werkzeugunterstütztes Architektur- und Qualitätsmonitoring - Ansätze und praktische Erfahrungen
  
• Herbert Kuchen (Univ. Münster)
  Automatische Erzeugung von Testfällen
  
• Michael Meurer (Dresdner Bank AG), Daniel Simon (SQS AG)
  Standardisierung der technischen Qualitätssicherung im J2EE-Umfeld der Dresdner Bank
  

18.30 Uhr Conference Dinner

20.00 Uhr Tooldemo

• Bernd Holzmüller (ICS AG)
  Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes (Folien)
  
• Bernd Braßel (Univ. Kiel)
  Searching Bugs by Visualizing Computations
• Michael Hanus (Univ. Kiel)
  Type-Oriented Construction of Web User Interfaces
  

10.30 - 11.00 Kaffeepause

• Sebastian Fischer (Univ. Kiel)
  Resource-Based Web Applications
  
• Martin Plümicke (Berufsakademie Stuttgart)
  Typ-Inferenz in Java 5.0
  
• Stefan Wehr (Univ. Freiburg)
  Waitomo, eine interface-orientierte Programmiersprache
  

12.30 Mittagessen und Ende des Workshops