Searching for authors named "Jeremy Condit" – sorted by Relevance.
-
SafeDrive: Safe and recoverable extensions using language-based techniques
- Condit, Zachary Anderson, Ilya Bagrak University of California, Berkeley {zf
- Cited by 32 (4 self) – Add To MetaCart
-
The Chord Ad-hoc Routing Protocol
- The Chord Ad-hoc Routing Protocol George Porter, Kevin Lai, Ion Stoica, Jeremy Condit This paper
- Add To MetaCart
-
Why Events Are A Bad Idea
- -concurrency servers) Rob von Behren, Jeremy Condit and Eric Brewer Computer Science Division, University of California
- Cited by 1 (1 self) – Add To MetaCart
-
Why Events Are a Bad Idea (for High-Concurrency Servers)
- Abstract Why Events Are A Bad Idea (for high-concurrency servers) Rob von Behren, Jeremy Condit
- Cited by 47 (0 self) – Add To MetaCart
-
CCured in the Real World
- CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer
- Cited by 59 (3 self) – Add To MetaCart
-
CCured: Type-Safe Retrofitting of Legacy Software
- pdfauthor CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT
- Cited by 59 (5 self) – Add To MetaCart
-
Dependent types for low-level programming
- Dependent Types for Low-Level Programming Jeremy Condit 1 , Matthew Harren 1 , Zachary Anderson 1
- Cited by 21 (5 self) – Add To MetaCart
-
Beyond bug-finding: Sound program analysis for Linux
- Condit, 1 Robert Ennals, 2 David Gay, 2 Matthew Harren, 1 George C. Necula, 1 Feng Zhou 1 1 University
- Cited by 2 (1 self) – Add To MetaCart
-
Capriccio: Scalable Threads for Internet Services
- ABSTRACT Capriccio: Scalable Threads for Internet Services Rob von Behren, Jeremy Condit, Feng
- Cited by 90 (3 self) – Add To MetaCart
-
Better I/O Through Byte-Addressable, Persistent Memory
- Better I/O Through Byte-Addressable, Persistent Memory Jeremy Condit Edmund B. Nightingale
- Add To MetaCart

