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.

pdf

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

pdf

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.

pdf

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.

pdf

Neal Glew and Leaf Petersen Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version). Tech Report

Extended version (with proofs).

pdf

Leaf Petersen and Neal Glew. GC-Safe Interprocedural Unboxing. CC 2012: The 21st International Conference on Compiler Construction.

citation - abstract - pdf

Extended version (with proofs).

pdf

Leaf Petersen and Neal Glew. Functional language compiler experiences at Intel. CUFP '10: SIGPLAN Commercial Users of Functional Programming

citation - abstract - video

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

citation - abstract - pdf

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.

citation - abstract - pdf

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).

ps - pdf

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).

ps - pdf

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).

ps - pdf

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