Westley Weimer

	2012
45		Eric Schulte, Zachary P. Fry, Ethan Fast, Stephanie Forrest, Westley Weimer: Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology CoRR abs/1204.4224: (2012)
44		Claire Le Goues, Westley Weimer: Measuring Code Quality to Improve Specification Mining. IEEE Trans. Software Eng. 38(1): 175-190 (2012)
43		Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer: GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Software Eng. 38(1): 54-72 (2012)
	2011
42		Raymond P. L. Buse, Caitlin Sadowski, Westley Weimer: Benefits and barriers of user evaluation in software engineering research. OOPSLA 2011: 643-656
41		Pitchaya Sitthi-amorn, Nicholas Modly, Westley Weimer, Jason Lawrence: Genetic programming for shader simplification. ACM Trans. Graph. 30(6): 152 (2011)
40		Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller: Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011)
39		Kinga Dobolyi, Elizabeth Soechting, Westley Weimer: Automating regression testing using web-based application similarities. STTT 13(2): 111-129 (2011)
	2010
38		Eric Schulte, Stephanie Forrest, Westley Weimer: Automated program repair through the evolution of assembly code. ASE 2010: 313-316
37		Raymond P. L. Buse, Westley Weimer: Automatically documenting program changes. ASE 2010: 33-42
36		Pieter Hooimeijer, Westley Weimer: Solving string constraints lazily. ASE 2010: 377-386
35		Claire Le Goues, Stephanie Forrest, Westley Weimer: The case for software evolution. FoSER 2010: 205-210
34		Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer: Designing better fitness functions for automated program repair. GECCO 2010: 965-972
33		Zachary P. Fry, Westley Weimer: A human study of fault localization accuracy. ICSM 2010: 1-10
32		Kinga Dobolyi, Westley Weimer: Modeling consumer-perceived web application fault severities for testing. ISSTA 2010: 97-106
31		Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen: Automatic program repair with evolutionary computation. Commun. ACM 53(5): 109-116 (2010)
30		Raymond P. L. Buse, Westley Weimer: Learning a Metric for Code Readability. IEEE Trans. Software Eng. 36(4): 546-558 (2010)
	2009
29		Xiang Yin, John C. Knight, Westley Weimer: Exploiting refactoring in formal verification. DSN 2009: 53-62
28		Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues: A genetic programming approach to automated software repair. GECCO 2009: 947-954
27		Raymond P. L. Buse, Westley Weimer: The road not taken: Estimating path execution frequency statically. ICSE 2009: 144-154
26		Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest: Automatically finding patches using genetic programming. ICSE 2009: 364-374
25		Kinga Dobolyi, Westley Weimer: Harnessing Web-Based Application Similarities to Aid in Regression Testing. ISSRE 2009: 71-80
24		Pieter Hooimeijer, Westley Weimer: A decision procedure for subset constraints over regular languages. PLDI 2009: 188-198
23		Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse: Macrodebugging: global views of distributed program execution. SenSys 2009: 141-154
22		Claire Le Goues, Westley Weimer: Specification Mining with Few False Positives. TACAS 2009: 292-306
21		Elizabeth Soechting, Kinga Dobolyi, Westley Weimer: Syntactic regression testing for tree-structured output. WSE 2009: 39-48
	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] [27] [30] [37] [42]
5	Yan Chen	[1]
6	Jeremy Condit	[6] [8]
7	Steven E. Czerwinski	[1]
8	Manuvir Das	[2]
9	Kinga Dobolyi	[19] [21] [25] [32] [39]
10	Patrick R. Eaton	[1]
11	Ethan Fast	[34] [45]
12	Stephanie Forrest	[26] [28] [31] [34] [35] [38] [43] [45]
13	Zachary P. Fry	[33] [45]
14	Dennis Geels	[1]
15	Claire Le Goues	[22] [26] [28] [31] [34] [35] [43] [44]
16	Ramakrishna Gummadi	[1]
17	Matthew Harren	[6] [8]
18	Thomas A. Henzinger	[5]
19	Timothy W. Hnat	[15] [23]
20	Pieter Hooimeijer	[12] [15] [23] [24] [36]
21	Nicholas Jalbert	[20]
22	Ranjit Jhala	[5]
23	John C. Knight	[16] [29]
24	John Kubiatowicz	[1]
25	Jason Lawrence	[41]
26	Sorin Lerner	[2]
27	Rupak Majumdar	[5]
28	Scott McPeak	[3] [4] [6] [8]
29	Nina Mishra	[13]
30	Nicholas Modly	[41]
31	George C. Necula	[3] [4] [5] [6] [7] [8] [9] [14]
32	Elisabeth A. Nguyen	[16]
33	ThanhVu Nguyen	[26] [28] [31] [43]
34	Mauro Pezzè	[40]
35	Shree Prakash Rahul	[4]
36	Sriram K. Rajamani	[2]
37	Sean C. Rhea	[1]
38	Martin C. Rinard	[40]
39	Caitlin Sadowski	[42]
40	Eric Schulte	[38] [45]
41	Mark Seigle	[2]
42	Pitchaya Sitthi-amorn	[41]
43	Elizabeth Soechting	[21] [39]
44	Tamim I. Sookoor	[15] [23]
45	Grégoire Sutre	[5]
46	Hakim Weatherspoon	[1]
47	Chris Wells	[1]
48	Kamin Whitehouse	[15] [23]
49	Xiang Yin	[16] [29]
50	Andreas Zeller	[40]
51	Ben Y. Zhao	[1]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page