Leaf Petersen

Leaf Petersen, Neal Glew: GC-Safe Interprocedural Unboxing. CC 2012: 165-184

Neal Glew, Leaf Petersen: Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version). CoRR abs/1203.1986 (2012)

Leaf Petersen, Enrico Pontelli (Eds.): Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010. ACM 2010, isbn 978-1-60558-859-9

Leaf Petersen, Manuel M. T. Chakravarty (Eds.): Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, isbn 978-1-60558-417-1

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: 73-86

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: 141-155

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: 397-408

Adam Chlipala, Leaf Petersen, Robert Harper: Strict bidirectional type checking. TLDI 2005: 71-78

Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning: A type theory for memory allocation and data layout. POPL 2003: 172-184

Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng: Typed compilation of recursive datatypes. TLDI 2003: 98-108

Kim B. Bruce, Leaf Petersen, Adrian Fiech: Subtyping Is Not a Good "Match" for Object-Oriented Languages. ECOOP 1997: 104-127