Jeremy Condit

According to our database, Jeremy Condit authored at least 13 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Dynamically replicated memory: building reliable systems from nanoscale resistive memories.

Engin Ipek, Jeremy Condit, Edmund B. Nightingale, Doug Burger, Thomas Moscibroda

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

Better I/O through byte-addressable, persistent memory.

Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Unifying type checking and property checking for low-level code.

Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

Type-preserving compilation for large-scale optimizing object-oriented compilers.

Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

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

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Dependent Types for Low-Level Programming.

Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula

Proceedings of the Programming Languages and Systems, 2007

2006

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

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

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

Thirty Years Is Long Enough: Getting Beyond C.

Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

Data Slicing: Separating the Heap into Independent Regions.

Jeremy Condit, George C. Necula

Proceedings of the Compiler Construction, 14th International Conference, 2005

2003

Capriccio: scalable threads for internet services.

J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

CCured in the real world.

Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Why Events Are a Bad Idea (for High-Concurrency Servers).

J. Robert von Behren, Jeremy Condit, Eric A. Brewer

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003