Jeremy Condit

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Engin Ipek, Jeremy Condit, Edmund B. Nightingale, Doug Burger, Thomas Moscibroda
Dynamically replicated memory: building reliable systems from nanoscale resistive memories. ASPLOS (2010)
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
Unifying type checking and property checking for low-level code. POPL (2009)
Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee
Better I/O through byte-addressable, persistent memory. SOSP (2009)
Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis
Type-preserving compilation for large-scale optimizing object-oriented compilers. PLDI (2008)
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
Beyond Bug-Finding: Sound Program Analysis for Linux. HotOS (2007)
Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
Dependent Types for Low-Level Programming. ESOP (2007)
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)
Jeremy Condit, George C. Necula
Data Slicing: Separating the Heap into Independent Regions. CC (2005)
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) (2005)
Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou
Thirty Years Is Long Enough: Getting Beyond C. HotOS (2005)
J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer
Capriccio: scalable threads for internet services. SOSP (2003)
J. Robert von Behren, Jeremy Condit, Eric A. Brewer
Why Events Are a Bad Idea (for High-Concurrency Servers). HotOS (2003)
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
CCured in the real world. PLDI (2003)