Westley Weimer

	2009
26		Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues: A genetic programming approach to automated software repair. GECCO 2009: 947-954
25		Raymond P. L. Buse, Westley Weimer: The road not taken: Estimating path execution frequency statically. ICSE 2009: 144-154
24		Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest: Automatically finding patches using genetic programming. ICSE 2009: 364-374
23		Pieter Hooimeijer, Westley Weimer: A decision procedure for subset constraints over regular languages. PLDI 2009: 188-198
22		Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse: Macrodebugging: global views of distributed program execution. SenSys 2009: 141-154
21		Claire Le Goues, Westley Weimer: Specification Mining with Few False Positives. TACAS 2009: 292-306
	2008
20		Nicholas Jalbert, Westley Weimer: Automated duplicate detection for bug tracking systems. DSN 2008: 52-61
19		Kinga Dobolyi, Westley Weimer: Changing Java's Semantics for Handling Null Pointer Exceptions. ISSRE 2008: 47-56
18		Raymond P. L. Buse, Westley Weimer: A metric for software readability. ISSTA 2008: 121-130
17		Raymond P. L. Buse, Westley Weimer: Automatic documentation inference for exceptions. ISSTA 2008: 273-282
16		Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319
15		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		Westley Weimer, George C. Necula: Exceptional situations and program reliability. ACM Trans. Program. Lang. Syst. 30(2): (2008)
13		Westley Weimer, Nina Mishra: Privately Finding Specifications. IEEE Trans. Software Eng. 34(1): 21-32 (2008)
	2007
12		Pieter Hooimeijer, Westley Weimer: Modeling bug report quality. ASE 2007: 34-43
	2006
11		Westley Weimer: Exception-Handling Bugs in Java and a Language Extension to Avoid Them. Advanced Topics in Exception Handling Techniques 2006: 22-41
10		Westley Weimer: Patches as better bug reports. GPCE 2006: 181-190
	2005
9		Westley Weimer, George C. Necula: Mining Temporal Specifications for Error Detection. TACAS 2005: 461-476
8		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		Westley Weimer, George C. Necula: Finding and preventing run-time error handling mistakes. OOPSLA 2004: 419-431
	2003
6		Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer: CCured in the real world. PLDI 2003: 232-244
	2002
5		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		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		George C. Necula, Scott McPeak, Westley Weimer: CCured: type-safe retrofitting of legacy code. POPL 2002: 128-139
2		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		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] [25]
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	Stephanie Forrest	[24] [26]
12	Dennis Geels	[1]
13	Claire Le Goues	[21] [24] [26]
14	Ramakrishna Gummadi	[1]
15	Matthew Harren	[6] [8]
16	Thomas A. Henzinger	[5]
17	Timothy W. Hnat	[15] [22]
18	Pieter Hooimeijer	[12] [15] [22] [23]
19	Nicholas Jalbert	[20]
20	Ranjit Jhala	[5]
21	John C. Knight	[16]
22	John Kubiatowicz	[1]
23	Sorin Lerner	[2]
24	Rupak Majumdar	[5]
25	Scott McPeak	[3] [4] [6] [8]
26	Nina Mishra	[13]
27	George C. Necula	[3] [4] [5] [6] [7] [8] [9] [14]
28	Elisabeth A. Nguyen	[16]
29	ThanhVu Nguyen	[24] [26]
30	Shree Prakash Rahul	[4]
31	Sriram K. Rajamani	[2]
32	Sean C. Rhea	[1]
33	Mark Seigle	[2]
34	Tamim I. Sookoor	[15] [22]
35	Grégoire Sutre	[5]
36	Hakim Weatherspoon	[1]
37	Chris Wells	[1]
38	Kamin Whitehouse	[15] [22]
39	Xiang Yin	[16]
40	Ben Y. Zhao	[1]

Colors in the list of coauthors