Westley Weimer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

21EEClaire Le Goues, Westley Weimer: Specification Mining with Few False Positives. TACAS 2009: 292-306
20EENicholas Jalbert, Westley Weimer: Automated duplicate detection for bug tracking systems. DSN 2008: 52-61
19EEKinga Dobolyi, Westley Weimer: Changing Java's Semantics for Handling Null Pointer Exceptions. ISSRE 2008: 47-56
18EERaymond P. L. Buse, Westley Weimer: A metric for software readability. ISSTA 2008: 121-130
17EERaymond P. L. Buse, Westley Weimer: Automatic documentation inference for exceptions. ISSTA 2008: 273-282
16EEXiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319
15EETimothy 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
14EEWestley Weimer, George C. Necula: Exceptional situations and program reliability. ACM Trans. Program. Lang. Syst. 30(2): (2008)
13EEWestley Weimer, Nina Mishra: Privately Finding Specifications. IEEE Trans. Software Eng. 34(1): 21-32 (2008)
12EEPieter Hooimeijer, Westley Weimer: Modeling bug report quality. ASE 2007: 34-43
11EEWestley Weimer: Exception-Handling Bugs in Java and a Language Extension to Avoid Them. Advanced Topics in Exception Handling Techniques 2006: 22-41
10EEWestley Weimer: Patches as better bug reports. GPCE 2006: 181-190
9EEWestley Weimer, George C. Necula: Mining Temporal Specifications for Error Detection. TACAS 2005: 461-476
8EEGeorge 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)
7EEWestley Weimer, George C. Necula: Finding and preventing run-time error handling mistakes. OOPSLA 2004: 419-431
6EEJeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer: CCured in the real world. PLDI 2003: 232-244
5EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer: Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
4EEGeorge 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
3EEGeorge C. Necula, Scott McPeak, Westley Weimer: CCured: type-safe retrofitting of legacy code. POPL 2002: 128-139
2EEStephen 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
1EEJohn 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

1Stephen Adams [2]
2Thomas Ball [2]
3David Bindel [1]
4Raymond P. L. Buse [17] [18]
5Yan Chen [1]
6Jeremy Condit [6] [8]
7Steven E. Czerwinski [1]
8Manuvir Das [2]
9Kinga Dobolyi [19]
10Patrick R. Eaton [1]
11Dennis Geels [1]
12Claire Le Goues [21]
13Ramakrishna Gummadi [1]
14Matthew Harren [6] [8]
15Thomas A. Henzinger [5]
16Timothy W. Hnat [15]
17Pieter Hooimeijer [12] [15]
18Nicholas Jalbert [20]
19Ranjit Jhala [5]
20John C. Knight [16]
21John Kubiatowicz [1]
22Sorin Lerner [2]
23Rupak Majumdar [5]
24Scott McPeak [3] [4] [6] [8]
25Nina Mishra [13]
26George C. Necula [3] [4] [5] [6] [7] [8] [9] [14]
27Elisabeth A. Nguyen [16]
28Shree Prakash Rahul [4]
29Sriram K. Rajamani [2]
30Sean C. Rhea [1]
31Mark Seigle [2]
32Tamim I. Sookoor [15]
33Grégoire Sutre [5]
34Hakim Weatherspoon [1]
35Chris Wells [1]
36Kamin Whitehouse [15]
37Xiang Yin [16]
38Ben Y. Zhao [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)