| 2009 |
|---|
| 9 | EE | Jeremy Condit,
Brian Hackett,
Shuvendu K. Lahiri,
Shaz Qadeer:
Unifying type checking and property checking for low-level code.
POPL 2009: 302-314 |
| 2008 |
|---|
| 8 | 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 |
| 2007 |
|---|
| 7 | EE | Jeremy Condit,
Matthew Harren,
Zachary R. Anderson,
David Gay,
George C. Necula:
Dependent Types for Low-Level Programming.
ESOP 2007: 520-535 |
| 2006 |
|---|
| 6 | EE | Feng Zhou,
Jeremy Condit,
Zachary R. Anderson,
Ilya Bagrak,
Robert Ennals,
Matthew Harren,
George C. Necula,
Eric A. Brewer:
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.
OSDI 2006: 45-60 |
| 2005 |
|---|
| 5 | EE | Jeremy Condit,
George C. Necula:
Data Slicing: Separating the Heap into Independent Regions.
CC 2005: 172-187 |
| 4 | EE | George C. Necula,
Jeremy Condit,
Matthew Harren,
Scott McPeak,
Westley Weimer:
CCured: type-safe retrofitting of legacy software.
ACM Trans. Program. Lang. Syst. 27(3): 477-526 (2005) |
| 2003 |
|---|
| 3 | | J. Robert von Behren,
Jeremy Condit,
Eric A. Brewer:
Why Events Are a Bad Idea (for High-Concurrency Servers).
HotOS 2003: 19-24 |
| 2 | EE | Jeremy Condit,
Matthew Harren,
Scott McPeak,
George C. Necula,
Westley Weimer:
CCured in the real world.
PLDI 2003: 232-244 |
| 1 | EE | J. Robert von Behren,
Jeremy Condit,
Feng Zhou,
George C. Necula,
Eric A. Brewer:
Capriccio: scalable threads for internet services.
SOSP 2003: 268-281 |
