PEPM 2000: Boston, Massachusetts, USA

• Manuvir Das:
  Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). 1
  Electronic Edition (ACM DL) BibTeX
• Mathias Braux, Jacques Noyé:
  Towards Partially Evaluating Reflection in Java. 2-11
  Electronic Edition (ACM DL) BibTeX
• Eijiro Sumii, Naoki Kobayashi:
  Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). 12-21
  Electronic Edition (ACM DL) BibTeX
• Bernd Grobauer, Zhe Yang:
  The Second Futamura Projection for Type-Directed Partial Evaluation. 22-32
  Electronic Edition (ACM DL) BibTeX
• Frank Pfenning:
  On the Logical Foundations of Staged Computation (Abstract of Invited Talk). 33
  Electronic Edition (ACM DL) BibTeX
• Walid Taha:
  A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trival (Extended Abstract). 34-43
  Electronic Edition (ACM DL) BibTeX
• John P. Gallagher, Julio C. Peralta:
  Using Regular Approximations for Generalisation During Partial Evalution. 44-51
  Electronic Edition (ACM DL) BibTeX
• Giorgio Levi, Fausto Spoto:
  Non Pair-Sharing and Freeness Analysis Through Linear Refinement. 52-61
  Electronic Edition (ACM DL) BibTeX
• Wei-Ngan Chin, Siau-Cheng Khoo:
  Calculating Sized Types. 62-72
  Electronic Edition (ACM DL) BibTeX
• Yanhong A. Liu, Scott D. Stoller:
  From Recursion to Iteration: What are the Optimizations? 73-82
  Electronic Edition (ACM DL) BibTeX
• Jonathan Walpole:
  Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk). 83
  Electronic Edition (ACM DL) BibTeX
• Naoki Kobayashi:
  Type-Based Useless Variable Elimination. 84-93
  Electronic Edition (ACM DL) BibTeX
• Brian R. Murphy, Monica S. Lam:
  Program Analysis with Partial Transfer Functions. 94-103
  Electronic Edition (ACM DL) BibTeX
• Bernhard Scholz, Johann Blieberger, Thomas Fahringer:
  Symbolic Pointer Analysis for Detecting Memory Leaks. 104-113
  Electronic Edition (ACM DL) BibTeX