jcondit at gmail dot com
(I look a bit different these days.)
I work for Google in the Kirkland, WA office. It's great here!
In a former life, I was a researcher at Microsoft Research, where I worked on the HAVOC, a program analysis tool, and BPFS, a file system for phase-change memory.
Before that, I was a graduate student at UC Berkeley, where I worked on Deputy, a tool that uses dependent types to improve type safety in C programs, as well as Capriccio and CCured. I was advised by George Necula.
And even before that, I was an undergraduate at Harvard and a software engineer at Tellme Networks.
I'm thrilled to be married to Kristin!
Dynamically Replicated Memory: Building Resilient
Systems from Unreliable Nanoscale Memories
Engin Ipek, Jeremy Condit, Edmund B. Nightingale, Doug Burger, and Thomas Moscibroda
ASPLOS 2010 [pdf]
Best Paper Award
Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented
Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee and Polyvios Pratikakis
PLDI 2008 [pdf]
SafeDrive: Safe and Recoverable Extensions Using Language-Based
Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula, and Eric Brewer
OSDI 2006 [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
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 enjoy snowboarding in Tahoe, most often at Squaw and Northstar.
I love to juggle. Check out the Berkeley Juggling Club if you're interested, though I haven't shown up in years.
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.