| 2008 |
|---|
| 4 | EE | Juan Chen,
Chris Hawblitzel,
Frances Perry,
Mike Emmi,
Jeremy Condit,
Derrick Coetzee,
Polyvios Pratikaki:
Type-preserving compilation for large-scale optimizing object-oriented compilers.
PLDI 2008: 183-192 |
| 3 | EE | Frances Perry,
David Walker:
Reasoning about Control Flow in the Presence of Transient Faults.
SAS 2008: 332-346 |
| 2007 |
|---|
| 2 | EE | Frances Perry,
Lester W. Mackey,
George A. Reis,
Jay Ligatti,
David I. August,
David Walker:
Fault-tolerant typed assembly language.
PLDI 2007: 42-53 |
| 2006 |
|---|
| 1 | EE | Frances Perry,
Limin Jia,
David Walker:
Expressing heap-shape contracts in linear logic.
GPCE 2006: 101-110 |
