| 2004 | A programmable editor for developing structured documents based on bidirectional transformations. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
| 2004 | A theory of totally correct logic program transformations. Alberto Pettorossi, Maurizio Proietti |
| 2004 | A type system for resource protocol verification and its correctness proof. Corneliu Popeea, Wei-Ngan Chin |
| 2004 | Component specialization. Gustavo J. Bobeff, Jacques Noyé |
| 2004 | Declarative specialization for object-oriented-program specialization. Helle Markmann Andersen, Ulrik Pagh Schultz |
| 2004 | Dynamic slicing based on redex trails. Claudio Ochoa, Josep Silva, Germán Vidal |
| 2004 | Efficient and flexible access control via logic program specialisation. Steve Barker, Michael Leuschel, Mauricio Varea |
| 2004 | Fusion with stacks and accumulating parameters. Susumu Nishimura |
| 2004 | Imperative program optimization by partial evaluation. Søren Debois |
| 2004 | Invited application paper: a proposal for the specialization of HA/DRE systems. Gary Daugherty |
| 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 | Invited application paper: re-engineering C++ components via automatic program transformation. Robert L. Akers, Ira D. Baxter, Michael Mehlich |
| 2004 | Invited talk: injecting life with computers. Ehud Shapiro |
| 2004 | Invited talk: the blast query language for software verification. Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | Invited talk: towards declarative programming for web services. Sheila A. McIlraith |
| 2004 | Invited talk: what's the future for proof-carrying code? J. Gregory Morrisett |
| 2004 | Offline partial evaluation for shift and reset. Kenichi Asai |
| 2004 | Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004 Nevin Heintze, Peter Sestoft |
| 2004 | Program generators and the tools to make them. Yannis Smaragdakis, Shan Shan Huang, David Zook |
| 2004 | Program transformations for portable CPU accounting and control in Java. Jarle Hulaas, Walter Binder |
| 2004 | Proving termination of membership equational programs. Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain |
| 2004 | Representation-based just-in-time specialization and the psyco prototype for python. Armin Rigo |