Leaf Petersen

16 papers A* 2A 3B 1C 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2013 — conf
A multivalued language with a dependent type system.
DTP@ICFP
Neal Glew, Tim Sweeney, Leaf Petersen
2013 A conf
Automatic SIMD vectorization for Haskell.
ICFP
Leaf Petersen, Dominic A. Orchard, Neal Glew
2013 J jnl
Formalisation of the lambda aleph Runtime.
CoRR
Neal Glew, Tim Sweeney, Leaf Petersen
2013 — conf
Measuring the Haskell Gap.
IFL
Leaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew
2013 C conf
The Intel labs Haskell research compiler.
Haskell
Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson
2012 B conf
GC-Safe Interprocedural Unboxing.
CC
Leaf Petersen, Neal Glew
2012 J jnl
Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)
CoRR
Neal Glew, Leaf Petersen
2010 — ed.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010
DAMP
Leaf Petersen, Enrico Pontelli
2009 — ed.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009
DAMP
Leaf Petersen, Manuel M. T. Chakravarty
2007 A conf
Enabling scalability and performance in a large scale CMP environment.
EuroSys
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
2007 — conf
Pillar: A Parallel Implementation Language.
LCPC
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
2006 A* conf
A verifiable SSA program representation for aggressive compiler optimization.
POPL
Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen
2005 — conf
Strict bidirectional type checking.
TLDI
Adam Chlipala, Leaf Petersen, Robert Harper
2003 A* conf
A type theory for memory allocation and data layout.
POPL
Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
2003 — conf
Typed compilation of recursive datatypes.
TLDI
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
1997 A conf
Subtyping Is Not a Good "Match" for Object-Oriented Languages.
ECOOP
Kim B. Bruce, Leaf Petersen, Adrian Fiech