Search the dblp DataBase

Publications of Author

1. Kim B. Bruce, Leaf Petersen, Adrian Fiech
   Subtyping Is Not a Good "Match" for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
   ECOOP, 1997, pp:104-127 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   POPL, 2006, pp:397-408 [Conf]
   
3. Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
   A type theory for memory allocation and data layout. [Citation Graph (0, 0)][DBLP]
   POPL, 2003, pp:172-184 [Conf]
   
4. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
   Typed compilation of recursive datatypes. [Citation Graph (0, 0)][DBLP]
   TLDI, 2003, pp:98-108 [Conf]
   
5. Adam J. Chlipala, Leaf Petersen, Robert Harper
   Strict bidirectional type checking. [Citation Graph (0, 0)][DBLP]
   TLDI, 2005, pp:71-78 [Conf]
   
6. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
   Typed compilation of recursive datatypes. [Citation Graph (0, 0)][DBLP]
   TLDI, 2003, pp:98-108 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   EuroSys, 2007, pp:73-86 [Conf]
   
8. 
   Pillar: A Parallel Implementation Language. [Citation Graph (, )][DBLP]