Leaf Petersen

According to our database, Leaf Petersen authored at least 14 papers between 1997 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Formalisation of the lambda aleph Runtime.

Neal Glew, Tim Sweeney, Leaf Petersen

CoRR, 2013

Measuring the Haskell Gap.

Leaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Automatic SIMD vectorization for Haskell.

Leaf Petersen, Dominic A. Orchard, Neal Glew

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

A multivalued language with a dependent type system.

Neal Glew, Tim Sweeney, Leaf Petersen

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013

The Intel labs Haskell research compiler.

Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012

Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)

Neal Glew, Leaf Petersen

CoRR, 2012

GC-Safe Interprocedural Unboxing.

Leaf Petersen, Neal Glew

Proceedings of the Compiler Construction - 21st International Conference, 2012

2007

Pillar: A Parallel Implementation Language.

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

Proceedings of the Languages and Compilers for Parallel Computing, 2007

Enabling scalability and performance in a large scale CMP environment.

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

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006

A verifiable SSA program representation for aggressive compiler optimization.

Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Strict bidirectional type checking.

Adam Chlipala, Leaf Petersen, Robert Harper

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

2003

Typed compilation of recursive datatypes.

Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

A type theory for memory allocation and data layout.

Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

1997

Subtyping Is Not a Good "Match" for Object-Oriented Languages.

Kim B. Bruce, Leaf Petersen, Adrian Fiech

Proceedings of the ECOOP'97, 1997