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

  28. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

2. - 4. Mai 2011 im Physikzentrum Bad Honnef

Programm

  Montag, 2. Mai 2010

11:15 - 12.30 Uhr

• Begrüßung (Frank Huch, Universität zu Kiel)
• Christian Heinlein (Hochschule Aalen)
  Drei Dinge braucht ein generischer Operator: explizite, implizite und deduzierte Parameter
• Viktor Pavlu (Universität Wien)
  Implementation of the BOLARE Programming Language

12.30-14.00 Mittagspause

14.00 - 15.30 Uhr

• Axel Simon (TU München)
  Designing Modular Type Inferences with Subtyping and Principal Typings
• Daniel Seidel (Universität Bonn)
  Improvements for free
• Janis Voigtländer (Universität Bonn)
  Striktifizierung zirkulärer Programme (Folien)

15.30-16.00 Kaffeepause

16.00 - 18.00 Uhr

• Sebastian Fischer (NII Tokyo)
  Shortcut Fusion with Dirstibutive Structures
• Volker Stolz (University of Oslo)
  Deadlock checking by a behavioral effect system for lock handling
• Oleg Lobachev (Philipps-Universität Marburg )
  Implementierung paralleler Software: Fallstudien der Skelett-basierten Parallelisierung_λ type system (Folien)

18.00 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

18.30 Uhr Abendessen

9.00 - 10.30 Uhr

• Jakob Zwirchmeyer (Universität Wien)
  Symbolic Loop Bound Computation for WCET Analysis
• Jens Knoop (Universität Wien)
  Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code
• Carl Friedrich Bolz (Universität Düsseldorf)
  Allocation Removal by Partial Evaluation in a Tracing JIT

10.30 - 11.00 Kaffeepause

11.00 - 12.00 Uhr

• Stefan Wehr (factis research GmbH, Freiburg)
  Zwei Fliegen mit einer Klappe: Bidirektionales Serialisieren und Deserialisieren
• Robert Glück (Universität Kopenhagen)
  Report on a Self-applicable Online Partial Evaluator for a Recursive Flowchart Language

12.00-13.00 Mittagspause

13.00 - 14.00 Uhr

• Tom Schreiber (Universität Tübungen)
  Ferry -- Database-Supported Program Execution
• Herbert Kuchen (Universität Münster)
  Logic Java: Kombination von Objekt-Orientierter und Logischer Programmierung

14.30 Uhr Gemeinsame Wanderung

18.30 Uhr Conference Dinner

9.00 - 10.30 Uhr

• Baltasar Tracon y Widemann und Markus Lepper (Universität Bayreuth)
  tSig: typisierte Signalerzeugung -- Über den Datenfluss und in die Syntaxwälder
• Björn Peemöller und Fabian Reck (Universität zu Kiel)
  KICS2: A New Compiler from Curry to Haskell

10.30 - 11.00 Kaffeepause

11.00 - 12.00 Uhr

• Martin Plümicke (DHBW Stuttgart)
  Well-typings for Java_lambda
• Michael Leuschel (Universität Düsseldorf)
  Specifying and Solving Constraint Satisfaction Problems in B

12.30 Mittagessen und Ende des Workshops