Westley Weimer

2008
13	EE	Westley Weimer, George C. Necula: Exceptional situations and program reliability. ACM Trans. Program. Lang. Syst. 30(2): (2008)
2007
12	EE	Pieter Hooimeijer, Westley Weimer: Modeling bug report quality. ASE 2007: 34-43
2006
11	EE	Westley Weimer: Exception-Handling Bugs in Java and a Language Extension to Avoid Them. Advanced Topics in Exception Handling Techniques 2006: 22-41
10	EE	Westley Weimer: Patches as better bug reports. GPCE 2006: 181-190
2005
9	EE	Westley Weimer, George C. Necula: Mining Temporal Specifications for Error Detection. TACAS 2005: 461-476
8	EE	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)
2004
7	EE	Westley Weimer, George C. Necula: Finding and preventing run-time error handling mistakes. OOPSLA 2004: 419-431
2003
6	EE	Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer: CCured in the real world. PLDI 2003: 232-244
2002
5	EE	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer: Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
4	EE	George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. CC 2002: 213-228
3	EE	George C. Necula, Scott McPeak, Westley Weimer: CCured: type-safe retrofitting of legacy code. POPL 2002: 128-139
2	EE	Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer: Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246
2000
1	EE	John Kubiatowicz, David Bindel, Yan Chen, Steven E. Czerwinski, Patrick R. Eaton, Dennis Geels, Ramakrishna Gummadi, Sean C. Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, Ben Y. Zhao: OceanStore: An Architecture for Global-Scale Persistent Storage. ASPLOS 2000: 190-201

Coauthor Index

1	Stephen Adams	[2]
2	Thomas Ball	[2]
3	David Bindel	[1]
4	Yan Chen	[1]
5	Jeremy Condit	[6] [8]
6	Steven E. Czerwinski	[1]
7	Manuvir Das	[2]
8	Patrick R. Eaton	[1]
9	Dennis Geels	[1]
10	Ramakrishna Gummadi	[1]
11	Matthew Harren	[6] [8]
12	Thomas A. Henzinger	[5]
13	Pieter Hooimeijer	[12]
14	Ranjit Jhala	[5]
15	John Kubiatowicz	[1]
16	Sorin Lerner	[2]
17	Rupak Majumdar	[5]
18	Scott McPeak	[3] [4] [6] [8]
19	George C. Necula	[3] [4] [5] [6] [7] [8] [9] [13]
20	Shree Prakash Rahul	[4]
21	Sriram K. Rajamani	[2]
22	Sean C. Rhea	[1]
23	Mark Seigle	[2]
24	Grégoire Sutre	[5]
25	Hakim Weatherspoon	[1]
26	Chris Wells	[1]
27	Ben Y. Zhao	[1]

Colors in the list of coauthors