Westley Weimer

2009
21	EE	Claire Le Goues, Westley Weimer: Specification Mining with Few False Positives. TACAS 2009: 292-306
2008
20	EE	Nicholas Jalbert, Westley Weimer: Automated duplicate detection for bug tracking systems. DSN 2008: 52-61
19	EE	Kinga Dobolyi, Westley Weimer: Changing Java's Semantics for Handling Null Pointer Exceptions. ISSRE 2008: 47-56
18	EE	Raymond P. L. Buse, Westley Weimer: A metric for software readability. ISSTA 2008: 121-130
17	EE	Raymond P. L. Buse, Westley Weimer: Automatic documentation inference for exceptions. ISSTA 2008: 273-282
16	EE	Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319
15	EE	Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse: MacroLab: a vector-based macroprogramming framework for cyber-physical systems. SenSys 2008: 225-238
14	EE	Westley Weimer, George C. Necula: Exceptional situations and program reliability. ACM Trans. Program. Lang. Syst. 30(2): (2008)
13	EE	Westley Weimer, Nina Mishra: Privately Finding Specifications. IEEE Trans. Software Eng. 34(1): 21-32 (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	Raymond P. L. Buse	[17] [18]
5	Yan Chen	[1]
6	Jeremy Condit	[6] [8]
7	Steven E. Czerwinski	[1]
8	Manuvir Das	[2]
9	Kinga Dobolyi	[19]
10	Patrick R. Eaton	[1]
11	Dennis Geels	[1]
12	Claire Le Goues	[21]
13	Ramakrishna Gummadi	[1]
14	Matthew Harren	[6] [8]
15	Thomas A. Henzinger	[5]
16	Timothy W. Hnat	[15]
17	Pieter Hooimeijer	[12] [15]
18	Nicholas Jalbert	[20]
19	Ranjit Jhala	[5]
20	John C. Knight	[16]
21	John Kubiatowicz	[1]
22	Sorin Lerner	[2]
23	Rupak Majumdar	[5]
24	Scott McPeak	[3] [4] [6] [8]
25	Nina Mishra	[13]
26	George C. Necula	[3] [4] [5] [6] [7] [8] [9] [14]
27	Elisabeth A. Nguyen	[16]
28	Shree Prakash Rahul	[4]
29	Sriram K. Rajamani	[2]
30	Sean C. Rhea	[1]
31	Mark Seigle	[2]
32	Tamim I. Sookoor	[15]
33	Grégoire Sutre	[5]
34	Hakim Weatherspoon	[1]
35	Chris Wells	[1]
36	Kamin Whitehouse	[15]
37	Xiang Yin	[16]
38	Ben Y. Zhao	[1]

Colors in the list of coauthors