[ 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) 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.s...@colorado.edu> http://ecee.colorado.edu/~siek/ Assistant Professor Dept. of Electrical, Computer, and Energy Engineering University of Colorado at Boulder