Program

ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
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