Leaf Petersen

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Programming Language

Relational Databases

Top Venues

Publications

Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson
The Intel labs Haskell research compiler. Haskell (2013)
Neal Glew, Tim Sweeney, Leaf Petersen
A multivalued language with a dependent type system. DTP@ICFP (2013)
Leaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew
Measuring the Haskell Gap. IFL (2013)
Neal Glew, Tim Sweeney, Leaf Petersen
Formalisation of the lambda aleph Runtime. CoRR (2013)
Leaf Petersen, Dominic A. Orchard, Neal Glew
Automatic SIMD vectorization for Haskell. ICFP (2013)
Neal Glew, Leaf Petersen
Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version) CoRR (2012)
Leaf Petersen, Neal Glew
GC-Safe Interprocedural Unboxing. CC (2012)
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)
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)
Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen
A verifiable SSA program representation for aggressive compiler optimization. POPL (2006)
Adam Chlipala, Leaf Petersen, Robert Harper
Strict bidirectional type checking. TLDI (2005)
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
Typed compilation of recursive datatypes. TLDI (2003)
Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
A type theory for memory allocation and data layout. POPL (2003)
Kim B. Bruce, Leaf Petersen, Adrian Fiech
Subtyping Is Not a Good "Match" for Object-Oriented Languages. ECOOP (1997)