Jeremy Condit

	2010
13		Engin Ipek, Jeremy Condit, Edmund B. Nightingale, Doug Burger, Thomas Moscibroda: Dynamically replicated memory: building reliable systems from nanoscale resistive memories. ASPLOS 2010: 3-14
	2009
12		Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer: Unifying type checking and property checking for low-level code. POPL 2009: 302-314
11		Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee: Better I/O through byte-addressable, persistent memory. SOSP 2009: 133-146
	2008
10		Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki: Type-preserving compilation for large-scale optimizing object-oriented compilers. PLDI 2008: 183-192
	2007
9		Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula: Dependent Types for Low-Level Programming. ESOP 2007: 520-535
8		Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou: Beyond Bug-Finding: Sound Program Analysis for Linux. HotOS 2007
	2006
7		Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer: SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. OSDI 2006: 45-60
	2005
6		Jeremy Condit, George C. Necula: Data Slicing: Separating the Heap into Independent Regions. CC 2005: 172-187
5		Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou: Thirty Years Is Long Enough: Getting Beyond C. HotOS 2005
4		George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer: CCured: type-safe retrofitting of legacy software. ACM Trans. Program. Lang. Syst. 27(3): 477-526 (2005)
	2003
3		J. Robert von Behren, Jeremy Condit, Eric A. Brewer: Why Events Are a Bad Idea (for High-Concurrency Servers). HotOS 2003: 19-24
2		Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer: CCured in the real world. PLDI 2003: 232-244
1		J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer: Capriccio: scalable threads for internet services. SOSP 2003: 268-281

Coauthor Index

1	Zachary R. Anderson	[7] [8] [9]
2	Ilya Bagrak	[7]
3	J. Robert von Behren	[1] [3]
4	Eric A. Brewer	[1] [3] [5] [7] [8]
5	Doug Burger	[11] [13]
6	Juan Chen	[10]
7	Derrick Coetzee	[10] [11]
8	Michael Emmi	[10]
9	Robert Ennals	[7] [8]
10	Christopher Frost	[11]
11	David Gay	[8] [9]
12	Brian Hackett	[12]
13	Matthew Harren	[2] [4] [7] [8] [9]
14	Chris Hawblitzel	[10]
15	Engin Ipek	[11] [13]
16	Shuvendu K. Lahiri	[12]
17	Benjamin C. Lee	[11]
18	Bill McCloskey	[5]
19	Scott McPeak	[2] [4]
20	Thomas Moscibroda	[13]
21	George C. Necula	[1] [2] [4] [6] [7] [8] [9]
22	Edmund B. Nightingale	[11] [13]
23	Frances Perry	[10]
24	Polyvios Pratikaki	[10]
25	Shaz Qadeer	[12]
26	Westley Weimer	[2] [4]
27	Feng Zhou	[1] [5] [7] [8]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page