HOME
:: publications
|
|
|
|
|
|
|
|
|
|
Publications
|
|
|
||
|
Neal Glew, Tim Sweeney and Leaf Petersen A Multivalued Language with a Dependent Type System. To appear in DTP 2013: The ACM SIGPLAN Workshop on Dependently Typed Programming. |
||
|
||
|
Hai Liu, Neal Glew, Leaf Petersen and Todd Anderson The Intel Labs Haskell Research Compiler. To appear in HS 2013: The ACM SIGPLAN Haskell Symposium |
||
|
||
|
Leaf Petersen, Todd Anderson, Hai Liu and Neal Glew Measuring the Haskell Gap. To appear in IFL 2013: The 25th International Symposium on Implementation and Application of Functional Languages. |
||
|
||
|
Leaf Petersen, Dominic Orchard and Neal Glew. Automatic SIMD Vectorization for Haskell. To appear in ICFP 2013: The 18th ACM SIGPLAN International Conference on Functional Programming. |
||
|
||
|
Neal Glew and Leaf Petersen Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version). Tech Report Extended version (with proofs). |
||
|
||
|
Leaf Petersen and Neal Glew. GC-Safe Interprocedural Unboxing. CC 2012: The 21st International Conference on Compiler Construction. Extended version (with proofs). |
||
|
||
|
Leaf Petersen and Neal Glew. Functional language compiler experiences at Intel. CUFP '10: SIGPLAN Commercial Users of Functional Programming |
||
|
||
|
Bratin Saha, Ali-Reza Adl-Tabatabai, Anwar M. Ghuloum, Mohan Rajagopalan, Richard L. Hudson, Leaf Petersen, Vijay Menon, Brian R. Murphy, Tatiana Shpeisman, Eric Sprangle, Anwar Rohillah, Doug Carmean, Jesse Fang. Enabling scalability and performance in a large scale CMP environment. EuroSys 2007: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007 |
||
|
||
|
Todd A. Anderson, Neal Glew, Peng Guo, Brian T. Lewis, Wei Liu, Zhanglin Liu, Leaf Petersen, Mohan Rajagopalan, James M. Stichnoth, Gansha Wu, Dan Zhang. Pillar: A Parallel Implementation Language. LCPC 2007: Workshop on Languages and Compilers for Parallel Computing. |
||
|
||
|
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. 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
|
||
|
||
| |