Author

Jeremy Condit

Observed name: Condit, Jeremy Paul, Author

Institution: Microsoft (United States)

Observed institutions: Microsoft (United States), University of Florida, University of California, Berkeley

OpenAlex ID: A5037548097

Better I/O through byte-addressable, persistent memory

2009 · Jeremy Condit, Edmund B. Nightingale, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · 838

CCured: type-safe retrofitting of legacy software

2005 · George C. Necula, Jeremy Condit, et al. · ACM Transactions on Programming Languages and Systems · 380

Capriccio: scalable threads for internet services

2003 · Rob von Behren, Jeremy Condit, et al. · ACM SIGOPS Operating Systems Review · 252

Why events are a bad idea (for high-concurrency servers)

2003 · Rob von Behren, Jeremy Condit, et al. · 232

SafeDrive: safe and recoverable extensions using language-based techniques

2006 · Feng Zhou, Jeremy Condit, et al. · 170

Dynamically replicated memory: building reliable systems from nanoscale resistive memories

2010 · Engin Ipek, Jeremy Condit, et al. · ACM SIGARCH Computer Architecture News · 161

Dependent Types for Low-Level Programming

2007 · Jeremy Condit, Matthew Harren, et al. · Lecture notes in computer science · 158

CCured in the real world

2003 · Jeremy Condit, Matthew Harren, et al. · ACM SIGPLAN Notices · 143

Capriccio: scalable threads for internet services

2003 · Rob von Behren, Jeremy Condit, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · 142

Dynamically replicated memory: building reliable systems from nanoscale resistive memories

2010 · Engin Ipek, Jeremy Condit, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 129

CCured in the real world

2003 · Jeremy Condit, Matthew Harren, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 96

Unifying type checking and property checking for low-level code

2009 · Jeremy Condit, Brian Hackett, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 59

The Vaccinia Virus Bifunctional Gene J3 (Nucleoside-2′-O-)-methyltransferase and Poly(A) Polymerase Stimulatory Factor Is Implicated as a Positive Transcription Elongation Factor by Two Genetic Approaches

2000 · Donald R. Latner, Ying Xiang, et al. · Virology · 35

PDF

Unifying type checking and property checking for low-level code

2009 · Jeremy Condit, Brian Hackett, et al. · ACM SIGPLAN Notices · 21

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

2008 · Juan Chen, Chris Hawblitzel, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 21

Dynamically replicated memory: building reliable systems from nanoscale resistive memories

2010 · Engin Ipek, Jeremy Condit, et al. · ACM SIGPLAN Notices · 15

Thirty years is long enough: getting beyond C

2005 · Eric Brewer, Jeremy Condit, et al. · 13

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

2008 · Juan Chen, Chris Hawblitzel, et al. · ACM SIGPLAN Notices · 5

Beyond bug-finding: sound program analysis for Linux

2007 · Zachary Anderson, Eric Brewer, et al. · 5

Dependent types for safe systems software

2007 · George C. Necula, Jeremy Condit · 4

Data Slicing: Separating the Heap into Independent Regions

2005 · Jeremy Condit, George C. Necula · Lecture notes in computer science · 4

PDF

Capriccio: scalable threads for internet services

2003 · Rob von Behren, Jeremy Condit, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · 4

CCured in the real world

2003 · Jeremy Condit, Matthew Harren, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 2

Works count: 28

Citation count: 2,891

H-index: 15

I10-index: 17