[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                   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)


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.


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


   * 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

   * Joao Paulo Fernandes, Joao Saraiva, Daniel Seidel and Janis
     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

   * 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

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


* 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.s...@colorado.edu>
Assistant Professor
Dept. of Electrical, Computer, and Energy Engineering
University of Colorado at Boulder

Reply via email to