| 2000 | A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). Walid Taha |
| 2000 | Calculating Sized Types. Wei-Ngan Chin, Siau-Cheng Khoo |
| 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 | On the Logical Foundations of Staged Computation (Abstract of Invited Talk). Frank Pfenning |
| 2000 | Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). Eijiro Sumii, Naoki Kobayashi |
| 2000 | Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk). Jonathan Walpole |
| 2000 | Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000 Julia L. Lawall |
| 2000 | Program Analysis with Partial Transfer Functions. Brian R. Murphy, Monica S. Lam |
| 2000 | Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). Manuvir Das |
| 2000 | Symbolic Pointer Analysis for Detecting Memory Leaks. Bernhard Scholz, Johann Blieberger, Thomas Fahringer |
| 2000 | The Second Futamura Projection for Type-Directed Partial Evaluation. Bernd Grobauer, Zhe Yang |
| 2000 | Towards Partially Evaluating Reflection in Java. Mathias Braux, Jacques Noyé |
| 2000 | Type-Based Useless Variable Elimination. Naoki Kobayashi |
| 2000 | Using Regular Approximations for Generalisation During Partial Evalution. John P. Gallagher, Julio C. Peralta |