| 1998 | An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. | John Hatcliff |
| 1998 | Multi-Level Specialization (Extended Abstract). | Robert Glck, Jesper Jrgensen |
| 1998 | C-MIX: Specialization of C Programs. | Arne J. Glenstrup, Henning Makholm, Jens P. Secher |
| 1998 | Type-Directed Partial Evaluation. | Olivier Danvy |
| 1998 | Partial Evaluation in Aircraft Crew Planning. | Lennart Augustsson |
| 1997 | Multi-Stage Programming with Explicit Annotations. | Walid Taha, Tim Sheard |
| 1997 | A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. | Tim Sheard |
| 1997 | Prescriptive Frameworks for Multi-Level Lambda-Calculi. | Flemming Nielson, Hanne Riis Nielson |
| 1997 | Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. | Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet |
| 1997 | Interconveritibility of Set Constraints and Context-Free Language Reachability. | David Melski, Thomas W. Reps |
| 1997 | Partial-Evaluation Techniques for Concurrent Programs. | Mihnea Marinescu, Benjamin Goldberg |
| 1997 | Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. | Luke Hornof, Jacques Noy |
| 1997 | Partial Evaluation and Separate Compilation. | Rogardt Heldal, John Hughes |
| 1997 | Annotation-Directed Run-Time Specialization in C. | Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers |
| 1997 | Self-Applicable Partial Evaluation for the pi-Calculus. | Marc Gengler, Matthieu Martel |
| 1997 | A Transformation System for CLP with Dynamic Scheduling and CCP. | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
| 1997 | Resource-Bounded Partial Evaluation. | Saumya K. Debray |
| 1997 | Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. | Olivier Danvy, Ulrik Pagh Schultz |
| 1997 | Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation. | Clifford Beshers, Steven Feiner |
| 1997 | Partial Evaluation in Aircraft Crew Planning. | Lennart Augustsson |
| 1997 | Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa |
| 1997 | Specialization of Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1995 | Effect Systems with Subtyping. | Yan Mei Tang, Pierre Jouvelot |
| 1995 | The Essence of LR Parsing. | Michael Sperber, Peter Thiemann |
| 1995 | Higher Order Expression Procedures. | David Sands |