[TYPES/announce] Call for Participation - PEPM'11 (co-located with POPL'11)

[Jeremy Siek]

===============================================================
                   CALL FOR PARTICIPATION
                ACM SIGPLAN 2011 Workshop on
   Partial Evaluation and Program Manipulation (PEPM'11)
                Austin Texas, USA, January 24-25, 2011

                 20th Anniversary Edition

                 (Affiliated with POPL'11)

        http://www.program-transformation.org/PEPM11
===============================================================

PEPM 2011 is the 20th edition of the PEPM series! To celebrate this
20th anniversary, the program chairs from the first PEPM, Charles
Consel and Olivier Danvy, will give invited talks on the first day of
the conference and Martin Rinard will give the invited talk on the
second day of the conference.

INVITED TALKS:

* Charles Consel (INRIA/LaBRI/University of Bordeaux, France)
  Title: DiaSuite: A Paradigm-Oriented Software Development Approach

* Olivier Danvy (Aarhus University, Denmark)
  Title: A Walk in the Semantic Park

* Martin Rinard (MIT, USA)
  Title: Probabilistic Accuracy Bounds for Perforated Programs


Abstracts of all papers and presentations are available from the
above web site.


CONTRIBUTED TALKS:

   * Torben Mogensen.
     Partial Evaluation of the Reversible Language Janus

   * Yuta Ikeda and Susumu Nishimura
     Calculating Tree Navigation with Symmetric Relational Zipper

   * Enrique Martin-Martin.
     Type Classes in Functional Logic Programming

   * Tim Bauer, Martin Erwig, Alan Fern and Jervis Pinto.
     Adaptation-Based Programming in Java

   * Hugo Pacheco and Alcino Cunha.
     Calculating with Lenses: Optimising Bidirectional Transformations

   * 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

   * Joao Paulo Fernandes, Joao Saraiva, Daniel Seidel and Janis
Voigtlander.
     Strictification of Circular Programs

   * Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael
Leuschel, Samuele Pedroni and Armin Rigo.
     Allocation Removal by Partial Evaluation in a Tracing JIT

   * Rafael Caballero.
     A Program Transformation for Returning States in Functional-Logic
Programs

   * Dimitrios Vardoulakis and Olin Shivers.
     Ordering Multiple Continuations on the Stack

   * Olaf Chitil.
     A Semantics for Lazy Assertions

   * Peter A. Jonsson and Johan Nordlander.
     Taming Code Explosion in Supercompilation

   * Jacques 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

   * Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hahnle, German
Puebla and Guillermo Roman Diez.
     Verified Resource Guarantees using COSTA and KeY


IMPORTANT DATES:

* Early registration deadline: December 31, 2010
* Hotel registration deadline: December 21, 2010

*** Important note: This year, the registration for POPL is capped at 300
in order to provide an optimal conference experience at the Omni Hotel
(students who receive travel grants are not subject to the
cap). Therefore, please register early!


-- 
____________________________________
Jeremy Siek <jeremy.siek at colorado.edu>
http://ecee.colorado.edu/~siek/
Assistant Professor
Dept. of Electrical, Computer, and Energy Engineering
University of Colorado at Boulder
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20101130/ff4d3494/attachment.html>