Peter Lee: The MESS Project

Semantics-based Implementation of Programming Languages

Recent papers:
  • Optimizing ML with Run-Time Code Generation, Mark Leone and Peter Lee, CMU-CS-95-205. Accepted for presentation at PLDI96.

  • Trace-based Program Analysis, Christopher Colby and Peter Lee, CMU-CS-FOX-95-04

  • Lightweight Run-Time Code Generation by Mark Leone and Peter Lee. To appear in the PEPM'94 Workshop on Partial Evaluation and Semantics-Based Program Manipulation, June 1994, Orlando, Florida.

  • Other papers and reports:
  • Call-by-need and Continuation-passing Style. by Chris Okasaki, Peter Lee, and David Tarditi. Lisp and Symbolic Computation, vol.7, No.1, 57-82, January, 1994.

  • No Assembly Required: Compiling Standard ML to C by David Tarditi, Peter Lee, and Anurag Acharya. ACM Letters on Programming Languages and Systems, vol.1, no.2, June 1992, 161-177.

  • Cache behavior of combinator graph reduction, by Philip J. Koopman, Jr., Peter Lee, and Daniel P. Siewiorek. (Not available on-line.) ACM Transactions on Programming Languages and Systems, vol.14, no.2, April, 1992, 265-297.

  • A modular implementation of partial evaluation by Christopher Colby and Peter Lee. Technical Report CMU-CS-92-123, School of Computer Science, Carnegie Mellon University, Pittsburgh, March 1992.

  • Back to Peter Lee's home page.