| 2004 | Program generators and the tools to make them. | Yannis Smaragdakis, Shan Shan Huang, David Zook |
| 2004 | Invited talk: injecting life with computers. | Ehud Shapiro |
| 2004 | Representation-based just-in-time specialization and the psyco prototype for python. | Armin Rigo |
| 2004 | A type system for resource protocol verification and its correctness proof. | Corneliu Popeea, Wei-Ngan Chin |
| 2004 | A theory of totally correct logic program transformations. | Alberto Pettorossi, Maurizio Proietti |
| 2004 | Dynamic slicing based on redex trails. | Claudio Ochoa, Josep Silva, Germn Vidal |
| 2004 | Fusion with stacks and accumulating parameters. | Susumu Nishimura |
| 2004 | Invited talk: what's the future for proof-carrying code? | J. Gregory Morrisett |
| 2004 | Invited talk: towards declarative programming for web services. | Sheila A. McIlraith |
| 2004 | Invited application paper: language design for implementing process scheduling hierarchies. | Julia L. Lawall, Gilles Muller, Herv Duchesne |
| 2004 | Invited application paper: program generation considered easy. | Sam Kamin |
| 2004 | A programmable editor for developing structured documents based on bidirectional transformations. | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
| 2004 | Program transformations for portable CPU accounting and control in Java. | Jarle Hulaas, Walter Binder |
| 2004 | Proving termination of membership equational programs. | Francisco Durn, Salvador Lucas, Jos Meseguer, Claude March, Xavier Urbain |
| 2004 | Imperative program optimization by partial evaluation. | Sren Debois |
| 2004 | Invited application paper: a proposal for the specialization of HA/DRE systems. | Gary Daugherty |
| 2004 | Component specialization. | Gustavo J. Bobeff, Jacques Noy |
| 2004 | Invited talk: the blast query language for software verification. | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | Efficient and flexible access control via logic program specialisation. | Steve Barker, Michael Leuschel, Mauricio Varea |
| 2004 | Offline partial evaluation for shift and reset. | Kenichi Asai |
| 2004 | Declarative specialization for object-oriented-program specialization. | Helle Markmann Andersen, Ulrik Pagh Schultz |
| 2004 | Invited application paper: re-engineering C++ components via automatic program transformation. | Robert L. Akers, Ira D. Baxter, Michael Mehlich |
| 2003 | Abstract specialization and its applications. | Germn Puebla, Manuel V. Hermenegildo |
| 2003 | Optimizing Ackermann's function by incrementalization. | Yanhong A. Liu, Scott D. Stoller |
| 2003 | Slicing and partial evaluation of CORBA component model designs for avionics system. | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |