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
.