HOME
::
research
::
publications
::
CV
|
|
|
|
|
|
|
|
|
Publications
|
|
|
||
|
Vijay S. Menon, Neal Glew, Brian R. Murphy Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai and Leaf Petersen. A Verifiable SSA Program Representation for Aggressive Compiler Optimization. To appear in POPL 2006: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. citation - abstract - ps - pdf Technical Report (extended version).
|
||
|
||
|
Leaf Petersen. Certifying Compilation for Standard ML in a Type Analysis Framework. PhD thesis, Carnegie Mellon University, 2005. Published as CMU Technical Report CMU-CS-05-135. citation - abstract - pdf - ps
|
||
|
||
|
Adam Chlipala, Leaf Petersen, and Robert Harper. Strict Bidirectional Type Checking. TLDI 2005: ACM SIGPLAN International Workshop on Types in Language Design and Implementation. citation - abstract - ps - pdf TLDI slides: ppt
|
||
|
||
|
Leaf Petersen, Robert Harper, Karl Crary and Frank Pfenning. A Type Theory for Memory Allocation and Data Layout. POPL 2003: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. citation - abstract - ps - pdf POPL slides: ppt Technical Report (extended version).
|
||
|
||
|
Joseph C. Vanderwaart, Derek R. Dreyer, Leaf Petersen, Karl Crary, and Robert Harper. Typed Compilation of Recursive Datatypes. TLDI 2003: ACM SIGPLAN International Workshop on Types in Language Design and Implementation. citation - abstract - ps - pdf Technical Report (extended version).
|
||
|
||
|
Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good 'Match' for object-oriented languages. ECOOP 1997: European Conference for Object-Oriented Programming. citation - abstract - ps - pdf
|
||
|
||
|
Leaf Petersen, Perry Cheng, Robert Harper, and Chris Stone. Implementing the TILT Internal Language. Technical Report, December 2000. citation - abstract - ps - pdf
|
||
|
||
|
Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen, and Chris Stone. Transparent and Opaque Interpretations of Datatypes. Technical Report. November 1998 citation - abstract - ps - pdf
|
||
|
||
|
Leaf Petersen. A Module System for LOOM. Undergraduate thesis, Williams College, 1996. citation - abstract - ps - pdf
|
||
|
||