| 2007 |
|---|
| 7 | EE | 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 |
| 2006 |
|---|
| 6 | EE | 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 |
| 2005 |
|---|
| 5 | EE | Adam J. Chlipala,
Leaf Petersen,
Robert Harper:
Strict bidirectional type checking.
TLDI 2005: 71-78 |
| 2003 |
|---|
| 4 | EE | Leaf Petersen,
Robert Harper,
Karl Crary,
Frank Pfenning:
A type theory for memory allocation and data layout.
POPL 2003: 172-184 |
| 3 | EE | Joseph Vanderwaart,
Derek Dreyer,
Leaf Petersen,
Karl Crary,
Robert Harper,
Perry Cheng:
Typed compilation of recursive datatypes.
TLDI 2003: 98-108 |
| 2 | EE | Joseph Vanderwaart,
Derek Dreyer,
Leaf Petersen,
Karl Crary,
Robert Harper,
Perry Cheng:
Typed compilation of recursive datatypes.
TLDI 2003: 98-108 |
| 1997 |
|---|
| 1 | EE | Kim B. Bruce,
Leaf Petersen,
Adrian Fiech:
Subtyping Is Not a Good "Match" for Object-Oriented Languages.
ECOOP 1997: 104-127 |
