| 2009 | CCCP: complete calling context profiling in virtual execution environments. | Philippe Moret, Walter Binder, Alex Villazn |
| 2009 | Type-based specialization of xml transformations. | Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi |
| 2009 | Program transformation for numerical precision. | Matthieu Martel |
| 2009 | A flexible framework for programming with non-deterministicfunctions. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2009 | Clone detection and removal for Erlang/OTP within a refactoring environment. | Huiqing Li, Simon J. Thompson |
| 2009 | SOC: a slicer for CSP specifications. | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2009 | Shifting the stage: staging with delimited control. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | Is there a fourth Futamura projection? | Robert Glck |
| 2009 | Bidirectional data-flow analyses, type-systematically. | Maria Joo Frade, Ando Saabas, Tarmo Uustalu |
| 2009 | Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. | Leon Evers, Jan Kuper |
| 2009 | Translation and optimization for a core calculus with exceptions. | Cristina David, Cristian Gherghina, Wei-Ngan Chin |
| 2009 | From spreadsheets to relational databases and back. | Jcome Cunha, Joo Saraiva, Joost Visser |
| 2009 | Program analysis for bug detection using parfait: invited talk. | Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz |
| 2009 | Designing aspects for side-effect localization. | Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo |
| 2009 | Improving type error messages for generic java. | Nabil El Boustani, Jurriaan Hage |
| 2009 | Self-adjusting computation: (an overview). | Umut A. Acar |
| 2008 | Specialization for applications using shared libraries. | Ping Zhu, Siau-Cheng Khoo |
| 2008 | Packrat parsers can support left recursion. | Alessandro Warth, James R. Douglass, Todd D. Millstein |
| 2008 | Unparsed patterns: easy user-extensibility of program manipulation tools. | Nic Volanschi, Christian Rinderknecht |
| 2008 | Proving correctness via free theorems: the case of the destroy/build-rule. | Janis Voigtlnder |
| 2008 | Mechanical verification of refactorings. | Nik Sultana, Simon J. Thompson |
| 2008 | Proof optimization for partial redundancy elimination. | Ando Saabas, Tarmo Uustalu |
| 2008 | Automating branch-and-bound for dynamic programs. | Jakob Puchinger, Peter J. Stuckey |
| 2008 | A practical and precise inference and specializer for array bound checks elimination. | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
| 2008 | A practical type analysis for verification of modular prolog programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |