Leaf Petersen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1997–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | HASKELL | The Intel labs Haskell research compiler. | Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson |
| 2013 | ICFP | A multivalued language with a dependent type system. | Neal Glew, Tim Sweeney, Leaf Petersen |
| 2013 | ICFP | Automatic SIMD vectorization for Haskell. | Leaf Petersen, Dominic A. Orchard, Neal Glew |
| 2012 | CC | GC-Safe Interprocedural Unboxing. | Leaf Petersen, Neal Glew |
| 2007 | EuroSys | 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 |
| 2006 | POPL | 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 |
| 2003 | POPL | A type theory for memory allocation and data layout. | Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning |
| 1997 | ECOOP | Subtyping Is Not a Good "Match" for Object-Oriented Languages. | Kim B. Bruce, Leaf Petersen, Adrian Fiech |