PEPM 2009: Savannah, GA, USA

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

Static analysis

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

Partial evaluation and specialization

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

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
  Electronic Edition (ACM DL) BibTeX
• Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
  A flexible framework for programming with non-deterministicfunctions. 91-100
  Electronic Edition (ACM DL) BibTeX
• Matthieu Martel:
  Program transformation for numerical precision. 101-110
  Electronic Edition (ACM DL) BibTeX

Types

• Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
  Shifting the stage: staging with delimited control. 111-120
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Nabil El Boustani, Jurriaan Hage:
  Improving type error messages for generic java. 131-140
  Electronic Edition (ACM DL) BibTeX
• Maria João Frade, Ando Saabas, Tarmo Uustalu:
  Bidirectional data-flow analyses, type-systematically. 141-150
  Electronic Edition (ACM DL) BibTeX

Slicing and profiling

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

Program transformation II

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