| 2009 | A flexible framework for programming with non-deterministicfunctions. Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
| 2009 | Bidirectional data-flow analyses, type-systematically. Maria João Frade, Ando Saabas, Tarmo Uustalu |
| 2009 | CCCP: complete calling context profiling in virtual execution environments. Philippe Moret, Walter Binder, Alex Villazón |
| 2009 | CProf: customizable calling context cross-profiling for embedded java processors. Philippe Moret, Walter Binder, Alex Villazón |
| 2009 | Clone detection and removal for Erlang/OTP within a refactoring environment. Huiqing Li, Simon J. Thompson |
| 2009 | Designing aspects for side-effect localization. Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo |
| 2009 | From spreadsheets to relational databases and back. Jácome Cunha, João Saraiva, Joost Visser |
| 2009 | Guided model checking for programs with polymorphism. Neha Rungta, Eric G. Mercer |
| 2009 | Improving type error messages for generic java. Nabil El Boustani, Jurriaan Hage |
| 2009 | Is there a fourth Futamura projection? Robert Glück |
| 2009 | Linear logical approximations. Robert J. Simmons, Frank Pfenning |
| 2009 | Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. Leon Evers, Jan Kuper |
| 2009 | Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 Germán Puebla, Germán Vidal |
| 2009 | Program analysis for bug detection using parfait: invited talk. Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz |
| 2009 | Program interpolation. Andrew Moss, Dan Page |
| 2009 | Program transformation for numerical precision. Matthieu Martel |
| 2009 | SOC: a slicer for CSP specifications. Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2009 | Self-adjusting computation: (an overview). Umut A. Acar |
| 2009 | Shifting the stage: staging with delimited control. Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | Shortcut fusion rules for the derivation of circular and higher-order monadic programs. Alberto Pardo, João Paulo Fernandes, João Saraiva |
| 2009 | Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
| 2009 | Translation and optimization for a core calculus with exceptions. Cristina David, Cristian Gherghina, Wei-Ngan Chin |
| 2009 | Type-based specialization of xml transformations. Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi |