Jeremy Condit
jcondit at microsoft.com
(I look a bit different these days.)
|
Jeremy Condit
jcondit at microsoft.com |
(I look a bit different these days.) |
I recently joined Microsoft Research as a researcher in the Operating System Group, where I work on HAVOC as well as the Singularity operating system and the Bartok compiler. My research interests include operating systems and programming languages.
I used to be a graduate student in the Computer Science division of the EECS department 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.
I'm thrilled to be married to Kristin!
Better I/O Through Byte-Addressable, Persistent Memory
Jeremy Condit,
Edmund B. Nightingale,
Christopher Frost,
Engin Ipek,
Benjamin Lee,
Doug Burger,
Derrick Coetzee
SOSP 2009
[pdf]
Unifying Type Checking and Property Checking for Low-Level Code
Jeremy Condit,
Brian Hackett,
Shuvendu K. Lahiri,
Shaz Qadeer
POPL 2009
[pdf]
Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented
Compilers
Juan Chen,
Chris Hawblitzel,
Frances Perry,
Mike Emmi,
Jeremy Condit,
Derrick Coetzee,
Polyvios Pratikakis
PLDI 2008
[pdf]
Beyond Bug-Finding: Sound Program Analysis for Linux
Zachary Anderson,
Eric Brewer,
Jeremy Condit,
Rob Ennals,
David Gay,
Matthew Harren,
George Necula, and
Feng Zhou
HotOS 2007
[pdf]
Dependent Types for Low-Level Programming
Jeremy Condit,
Matthew Harren,
Zachary Anderson,
David Gay, and
George Necula
ESOP 2007
[pdf]
UCB Technical Report EECS-2006-129
[pdf]
SafeDrive: Safe and Recoverable Extensions Using Language-Based
Techniques
Feng Zhou,
Jeremy Condit,
Zachary Anderson,
Ilya Bagrak,
Rob Ennals,
Matthew Harren,
George Necula, and
Eric Brewer
OSDI 2006
[pdf]
Thirty Years is Long Enough: Getting Beyond C
Eric Brewer,
Jeremy Condit,
Bill McCloskey, and
Feng Zhou
HotOS 2005
[ps,
pdf]
CCured: Type-Safe Retrofitting of Legacy Software
George C. Necula,
Jeremy Condit,
Matthew Harren,
Scott McPeak, and
Westley Weimer
TOPLAS 27:3 (May 2005)
[ps,
pdf]
Data Slicing: Separating the Heap into Independent Regions
Jeremy Condit and
George C. Necula
CC 2005
(EAPLS Best Paper Award for ETAPS 2005)
[ps,
pdf]
Capriccio: Scalable Threads for Internet Services
Rob von Behren,
Jeremy Condit,
Feng Zhou,
George C. Necula, and
Eric Brewer
SOSP 2003
[pdf]
CCured in the Real World
Jeremy Condit,
Matthew Harren,
Scott McPeak,
George C. Necula, and
Westley Weimer
PLDI 2003
[ps,
pdf]
Why Events are a Bad Idea (for high-concurrency servers)
Rob von Behren,
Jeremy Condit, and
Eric Brewer
HotOS 2003
[pdf]
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
Donald R. Latner, Ying Xiang, Jackie I. Lewis, Jeremy Condit, and
Richard
Condit
Virology 269(2): 345-355, 2000
I've taken several years of Japanese language courses, courtesy of Berkeley's excellent Japanese Language Program.
I (used to) spend lots of time snowboarding in Tahoe, most often at Squaw and Northstar.
I love to juggle!
Interactive fiction can be lots of fun. In particular, I recommend poking around Zarf's web page, which has a number of extremely well-crafted games (my personal favorite is "Spider and Web") among numerous other diversions. I once wrote a z-code interpreter called Zeal.
Grabscrab is an entertaining and incredibly addictive Scrabble variant. I'm also fond of board games such as Settlers of Catan and Puerto Rico, not to mention the age-old game of Go.
