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