ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM '09)
Savannah, Georgia, USA, January 19-20, 2009 (Associated with POPL 2009)

MONDAY, January 19, 2009

Invited talk 9:00-10:00

Session chair: Germán Vidal

Umut Acar. Toyota Technological Institute and University of Chicago.
Title: Self-adjusting computation

Static Analysis   10:30-12:30

Session chair: Julia Lawall

Linear Logical Approximations
Robert Simmons and Frank Pfenning
Guided Model Checking for Programs with Polymorphism
Neha Rungta and Eric Mercer
Program Interpolation
Andrew Moss and Dan Page
Translation and Optimization for a Core Calculus with Exceptions
Cristina David, Cristian Gherghina and Wei-Ngan Chin

Partial Evaluation and Specialization   13:30-15:00

Session chair: John Gallagher

Is there a Fourth Futamura projection?
Robert Glück
Type-based Specialization of XML Transformations
Kazutaka Matsuda, Zhenjiang Hu and Masato Takeichi
Partially evauated sensor networks
Leon Evers and Jan Kuper

Program Transformation I   15:30-17:00

Session chair: Siau Chen Khoo

Shortcut fusion rules for the derivation of circular and higher-order monadic programs
Alberto Pardo, Joao Fernandes and Joćo Saraiva
A Flexible Framework for Programming with Non-deterministic Functions
Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala and Jaime Sanchez-Hernandez
Program Transformation for Numerical Precision
Matthieu Martel

TUESDAY, January 20, 2009

Invited talk 9:00-10:00

Session chair: Germán Puebla

Cristina Cifuentes. Sun Microsystems Laboratories.
Title: Program Analysis for Bug Detection using Parfait

Types   10:30-12:30

Session chair: Simon Thompson

Shifting the Stage: Staging with Delimited Control
Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan
Static Consistency Checking for Verilog Wire Interconnects
Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy and John O'Leary
Improving Type Error Messages for Generic Java
Nabil El Boustani and Jurriaan Hage
Bidirectional data-flow analyses, type-systematically
Maria Joćo Frade, Ando Saabas and Tarmo Uustalu

Slicing and Profiling   13:30-15:00

Session chair: Yukiyoshi Kameyama

CCCP - Complete Calling Context Profiling in Virtual Execution Environments
Philippe Moret, Walter Binder and Alex Villazon
CProf: Customizable Calling Context Cross-Profiling for Embedded Java Processors
Philippe Moret, Walter Binder and Alex Villazon
SOC: a Slicer for CSP Specifications
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit and Michael Leuschel

Program Transformation II   15:30-17:00

Session chair: Janis Voigtlander

Clone Detection and Removal for Erlang/OTP within a Refactoring Environment
Huiqing Li and Simon Thompson
From Spreadsheets to Relational Databases and Back
Jįcome Cunha, Joćo Saraiva and Joost Visser
Designing Aspects for Side-Effect Localization
Kung Chen, Jia-Yin Lin, Shu-Chun Weng and Siau-Cheng Khoo