Jeremy Condit
Microsoft (United States)(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Security and Verification in Computing, Logic, programming, and type systems, Software Testing and Debugging Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → Better I/O through byte-addressable, persistent memory(2009)829 cited
- → CCured: type-safe retrofitting of legacy software(2005)363 cited
- → Capriccio(2003)252 cited
- Why events are a bad idea (for high-concurrency servers)(2003)
- → SafeDrive: safe and recoverable extensions using language-based techniques(2006)170 cited
- → Dynamically replicated memory(2010)163 cited
- → Dependent Types for Low-Level Programming(2007)150 cited
- → CCured in the real world(2003)138 cited