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