Why Events Are a Bad Idea (for High-Concurrency Servers). - J. Robert von Behren; Jeremy Condit; Eric A. Brewer (HotOS, 2003)

CCured in the real world. - Jeremy Condit; Matthew Harren; Scott McPeak; George C. Necula; Westley Weimer (PLDI, 2003)

Capriccio: scalable threads for internet services. - J. Robert von Behren; Jeremy Condit; Feng Zhou; George C. Necula; Eric A. Brewer (SOSP, 2003)

Data Slicing: Separating the Heap into Independent Regions. - Jeremy Condit; George C. Necula (CC, 2005)

Thirty Years Is Long Enough: Getting Beyond C. - Eric A. Brewer; Jeremy Condit; Bill McCloskey; Feng Zhou (HotOS, 2005)

CCured: type-safe retrofitting of legacy software. - George C. Necula; Jeremy Condit; Matthew Harren; Scott McPeak; Westley Weimer (ACM Trans. Program. Lang. Syst., 2005)

SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. - Feng Zhou; Jeremy Condit; Zachary R. Anderson; Ilya Bagrak; Robert Ennals; Matthew Harren; George C. Necula; Eric A. Brewer (OSDI, 2006)

Dependent Types for Low-Level Programming. - Jeremy Condit; Matthew Harren; Zachary R. Anderson; David Gay; George C. Necula (ESOP, 2007)

Beyond Bug-Finding: Sound Program Analysis for Linux. - Zachary R. Anderson; Eric A. Brewer; Jeremy Condit; Robert Ennals; David Gay; Matthew Harren; George C. Necula; Feng Zhou (HotOS, 2007)

Type-preserving compilation for large-scale optimizing object-oriented compilers. - Juan Chen; Chris Hawblitzel; Frances Perry; Michael Emmi; Jeremy Condit; Derrick Coetzee; Polyvios Pratikakis (PLDI, 2008)

Unifying type checking and property checking for low-level code. - Jeremy Condit; Brian Hackett; Shuvendu K. Lahiri; Shaz Qadeer (POPL, 2009)

Better I/O through byte-addressable, persistent memory. - Jeremy Condit; Edmund B. Nightingale; Christopher Frost 001; Engin Ipek; Benjamin C. Lee; Doug Burger; Derrick Coetzee (SOSP, 2009)

Dynamically replicated memory: building reliable systems from nanoscale resistive memories. - Engin Ipek; Jeremy Condit; Edmund B. Nightingale; Doug Burger; Thomas Moscibroda (ASPLOS, 2010)