| 2002 | Compositionality in the puzzle of semantics. | Roberto Giacobazzi, Isabella Mastroeni |
| 2002 | Automatic generation of efficient string matching algorithms by generalized partial computation. | Yoshihiko Futamura, Zenjiro Konishi, Robert Glck |
| 2002 | Staged compilation. | Craig Chambers |
| 2002 | Growing languages with metamorphic syntax macros. | Claus Brabrand, Michael I. Schwartzbach |
| 2002 | Implementation of automatic differentiation tools. | Christian H. Bischof, Paul D. Hovland, Boyana Norris |
| 2002 | CPS translating inductive and coinductive types. | Gilles Barthe, Tarmo Uustalu |
| 2002 | Online partial evaluation for shift and reset. | Kenichi Asai |
| 2002 | Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures. | Saman P. Amarasinghe |
| 2002 | On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
| 2002 | Supporting objects in run-time bytecode specialization. | Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa |
| 2000 | Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk). | Jonathan Walpole |
| 2000 | A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). | Walid Taha |
| 2000 | Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). | Eijiro Sumii, Naoki Kobayashi |
| 2000 | Symbolic Pointer Analysis for Detecting Memory Leaks. | Bernhard Scholz, Johann Blieberger, Thomas Fahringer |
| 2000 | On the Logical Foundations of Staged Computation (Abstract of Invited Talk). | Frank Pfenning |
| 2000 | Program Analysis with Partial Transfer Functions. | Brian R. Murphy, Monica S. Lam |
| 2000 | From Recursion to Iteration: What are the Optimizations? | Yanhong A. Liu, Scott D. Stoller |
| 2000 | Non Pair-Sharing and Freeness Analysis Through Linear Refinement. | Giorgio Levi, Fausto Spoto |
| 2000 | Type-Based Useless Variable Elimination. | Naoki Kobayashi |
| 2000 | The Second Futamura Projection for Type-Directed Partial Evaluation. | Bernd Grobauer, Zhe Yang |
| 2000 | Using Regular Approximations for Generalisation During Partial Evalution. | John P. Gallagher, Julio C. Peralta |
| 2000 | Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). | Manuvir Das |
| 2000 | Calculating Sized Types. | Wei-Ngan Chin, Siau-Cheng Khoo |
| 2000 | Towards Partially Evaluating Reflection in Java. | Mathias Braux, Jacques Noy |
| 1999 | C++ Templates as Partial Evaluation. | Todd L. Veldhuizen |