Program

The abstracts are available here and here.

Monday, January 24, 2011

Chairs' Welcome: 9:00 - 9:05

Invited Talk 1: 9:05 - 10:05

Session Chair: Jeremy Siek

• Olivier Danvy: A Walk in the Semantic Park

Continuations: 10:05 - 10:35

Session Chair: Jeremy Siek

• Dimitrios Vardoulakis and Olin Shivers: Ordering Multiple Continuations on the stack

Coffee break

Partial Evaluation: 11:00 - 12:30

Session Chair: Jacques Carette

• Torben Mogensen: Partial Evaluation of the Reversible Language Janus
• Peter A. Jonsson and Johan Nordlander: Taming Code Explosion in Supercompilation
• Carl Friedrich Bolz, Antonio Cuni, Maciej Fijałkowski, Michael Leuschel, Samuele Pedroni and Armin Rigo: Allocation Removal by Partial Evaluation in a Tracing JIT

Lunch

Embedded Languages: 14:00 - 15:00

Session Chair: Ronald Garcia

• Jaques Carette, Mustafa Elsheikh and Spencer Smith: A Generative Geometric Kernel
• Yan Wang and veronica gaspes: An Embedded Language for Programming Protocol Stacks in Embedded Systems

Tool Demo: 15:00 - 15:30

• Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla and Guillermo Román Díez: Verified Resource Guarantees using COSTA and KeY

Coffee break

Invited Talk 2: 16:00 - 17:00

Session Chair: Siau-Cheng Khoo

• Chales Consel: DiaSuite: A Paradigm-Oriented Software Development Approach

Tuesday, January 25, 2011

Invited Talk 3: 9:00 - 10:00

Session Chair: Siau-Cheng Khoo

• Martin Rinard: Probabilistic Accuracy Bounds for Perforated Programs

Program Synthesis: 10:00 - 10:30

Session Chair: Siau-Cheng Khoo

• Tim Bauer, Martin Erwig, Alan Fern and Jervis Pinto: Adaptation-based Programming in Java

Coffee break

Program Calculation: 11:00 - 12:00

Session Chair: Edwin Westbrook

• Hugo Pacheco and Alcino Cunha: Calculating with Lenses: Optimizing Bidrectional Transformations
• Yuta Ikeda and Susumu Nishimura: Calculating Tree Navigation with Symmetric Relational Zipper

Lunch

Functional-Logic Programming: 14:00 - 15:00

Session Chair: Carl Friedrich Bolz

• Rafael Caballero: A Program Transformation for Returning States in Functional-Logic Programs
• Enrique Martin-Martin: Type classes in Functional Logic Programming

Functional Programming, Part 1: 15:00 - 15:30

Session Chair: Carl Friedrich Bolz

• Joao Paulo Fernandes, Joao Saraiva, Daniel Seidel and Janis Voigtländer: Strictification of Circular Programs

Coffee break

Functional Programming, Part 2: 16:00 - 17:00

Session Chair: Jeremy Siek

• Olaf Chitil: A Semantics for Lazy Assertions
• Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort and John van Groningen: iTasks for a Change - Type-safe run-time change in dynamically evolving workflows