PEPM 2009: Savannah, GA, USA

Germán Puebla, Germán Vidal (Eds.): Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. ACM 2009, ISBN 978-1-60558-327-3

Umut A. Acar:
Self-adjusting computation: (an overview). 1-6
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz:
Program analysis for bug detection using parfait: invited talk. 7-8

Static analysis

Robert J. Simmons, Frank Pfenning:
Linear logical approximations. 9-20
Neha Rungta, Eric G. Mercer:
Guided model checking for programs with polymorphism. 21-30
Andrew Moss, Dan Page:
Program interpolation. 31-40
Cristina David, Cristian Gherghina, Wei-Ngan Chin:
Translation and optimization for a core calculus with exceptions. 41-50

Partial evaluation and specialization

Robert Glück:
Is there a fourth Futamura projection? 51-60
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
Type-based specialization of xml transformations. 61-72
Leon Evers, Jan Kuper:
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. 73-80

Program transformation I

Alberto Pardo, João Paulo Fernandes, João Saraiva:
Shortcut fusion rules for the derivation of circular and higher-order monadic programs. 81-90
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A flexible framework for programming with non-deterministicfunctions. 91-100
Matthieu Martel:
Program transformation for numerical precision. 101-110

Types

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shifting the stage: staging with delimited control. 111-120
Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary:
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. 121-130
Nabil El Boustani, Jurriaan Hage:
Improving type error messages for generic java. 131-140
Maria João Frade, Ando Saabas, Tarmo Uustalu:
Bidirectional data-flow analyses, type-systematically. 141-150

Slicing and profiling

Philippe Moret, Walter Binder, Alex Villazón:
CCCP: complete calling context profiling in virtual execution environments. 151-160
Philippe Moret, Walter Binder, Alex Villazón:
CProf: customizable calling context cross-profiling for embedded java processors. 161-164
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
SOC: a slicer for CSP specifications. 165-168

Program transformation II

Huiqing Li, Simon Thompson:
Clone detection and removal for Erlang/OTP within a refactoring environment. 169-178
Jácome Cunha, João Saraiva, Joost Visser:
From spreadsheets to relational databases and back. 179-188
Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo:
Designing aspects for side-effect localization. 189-198