Jeremy Condit
RESEARCHER
.
I'm a researcher in the Operating Systems Group at Microsoft Research.
My primary research interests are in operating systems and programming languages, and I work on techniques for improving our ability to design and maintain large software systems. Recently, I've also been interested in file system design for non-volatile memory technologies.
I used to be a graduate student at UC Berkeley. My thesis was on Deputy, a tool that uses dependent types to improve type safety in C programs. I also worked on Capriccio and on CCured. In earlier lives, I was an undergraduate at Harvard and a software engineer at Tellme Networks.
Publications
- Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Doug Burger, Benjamin Lee, and Derrick Coetzee, Better I/O Through Byte-Addressable, Persistent Memory, in Symposium on Operating Systems Principles (SOSP '09), Association for Computing Machinery, Inc., October 2009
- Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, and Shaz Qadeer, Unifying Type Checking and Property Checking for Low-Level Code, in Principles of Programming Languages (POPL '09), Association for Computing Machinery, Inc., January 2009
- Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, and Polyvios Pratikakis, Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers, in ACM Conference on Programming Language Design and Implementation (PLDI 08), Association for Computing Machinery, Inc., June 2008
- Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, and George Necula, Dependent Types for Low-Level Programming, in European Symposium on Programming (ESOP '07), Springer Verlag, 2007
- Zachary Anderson, Eric Brewer, Jeremy Condit, Rob Ennals, David Gay, Matthew Harren, George Necula, and Feng Zhou, Beyond Bug-Finding: Sound Program Analysis for Linux, in Hot Topics in Operating Systems (HotOS '07), USENIX, 2007
- Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula, and Eric Brewer, SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques, in Operating System Design and Implementation (OSDI '06), USENIX, 2006
- George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, and Westley Weimer, CCured: Type-Safe Retrofitting of Legacy Software, in Transactions on Programming Languages and Systems (TOPLAS), no. 3, Association for Computing Machinery, Inc., 2005
- Eric Brewer, Jeremy Condit, Bill McCloskey, and Feng Zhou, Thirty Years is Long Enough: Getting Beyond C, in Hot Topics in Operating Systems (HotOS '05), USENIX, 2005
- Jeremy Condit and George C. Necula, Data Slicing: Separating the Heap into Independent Regions, in Compiler Construction (CC '05), Springer Verlag, 2005
- Jeremy Condit, James R. Larus, Sriram K. Rajamani, and Jakob Rehof, Region-Based Model Abstraction, no. MSR-TR-2003-47, August 2003
- Rob von Behren, Jeremy Condit, and Eric Brewer, Why Events are a Bad Idea (for high-concurrency servers), in Hot Topics in Operating Systems (HotOS '03), USENIX, 2003
- Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, and Westley Weimer, CCured in the Real World, in Programming Language Design and Implementation (PLDI '03), Association for Computing Machinery, Inc., 2003
- Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer, Capriccio: Scalable Threads for Internet Services, in Symposium on Operating System Principles (SOSP '03), Association for Computing Machinery, Inc., 2003
