Search the dblp DataBase

Publications of Author

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. [Citation Graph (0, 0)][DBLP]
   ASPLOS, 2000, pp:190-201 [Conf]
   
2. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
   Temporal-Safety Proofs for Systems Code. [Citation Graph (0, 0)][DBLP]
   CAV, 2002, pp:526-538 [Conf]
   
3. George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
   CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. [Citation Graph (0, 0)][DBLP]
   CC, 2002, pp:213-228 [Conf]
   
4. Westley Weimer
   Exception-Handling Bugs in Java and a Language Extension to Avoid Them. [Citation Graph (0, 0)][DBLP]
   Advanced Topics in Exception Handling Techniques, 2006, pp:22-41 [Conf]
   
5. Westley Weimer
   Patches as better bug reports. [Citation Graph (0, 0)][DBLP]
   GPCE, 2006, pp:181-190 [Conf]
   
6. Westley Weimer, George C. Necula
   Finding and preventing run-time error handling mistakes. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2004, pp:419-431 [Conf]
   
7. Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
   CCured in the real world. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:232-244 [Conf]
   
8. George C. Necula, Scott McPeak, Westley Weimer
   CCured: type-safe retrofitting of legacy code. [Citation Graph (0, 0)][DBLP]
   POPL, 2002, pp:128-139 [Conf]
   
9. Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
   Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:230-246 [Conf]
   
10. Westley Weimer, George C. Necula
    Mining Temporal Specifications for Error Detection. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:461-476 [Conf]
    
11. George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
    CCured: type-safe retrofitting of legacy software. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:477-526 [Journal]
    
12. 
    Automated duplicate detection for bug tracking systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Exploiting refactoring in formal verification. [Citation Graph (, )][DBLP]
    
    
14. 
    A genetic programming approach to automated software repair. [Citation Graph (, )][DBLP]
    
    
15. 
    Designing better fitness functions for automated program repair. [Citation Graph (, )][DBLP]
    
    
16. 
    Automatically finding patches using genetic programming. [Citation Graph (, )][DBLP]
    
    
17. 
    The road not taken: Estimating path execution frequency statically. [Citation Graph (, )][DBLP]
    
    
18. 
    Changing Java's Semantics for Handling Null Pointer Exceptions. [Citation Graph (, )][DBLP]
    
    
19. 
    Harnessing Web-Based Application Similarities to Aid in Regression Testing. [Citation Graph (, )][DBLP]
    
    
20. 
    Automatic documentation inference for exceptions. [Citation Graph (, )][DBLP]
    
    
21. 
    A metric for software readability. [Citation Graph (, )][DBLP]
    
    
22. 
    Modeling consumer-perceived web application fault severities for testing. [Citation Graph (, )][DBLP]
    
    
23. 
    Modeling bug report quality. [Citation Graph (, )][DBLP]
    
    
24. 
    Automatically documenting program changes. [Citation Graph (, )][DBLP]
    
    
25. 
    Solving string constraints lazily. [Citation Graph (, )][DBLP]
    
    
26. 
    Automated program repair through the evolution of assembly code. [Citation Graph (, )][DBLP]
    
    
27. 
    A decision procedure for subset constraints over regular languages. [Citation Graph (, )][DBLP]
    
    
28. 
    Formal Verification by Reverse Synthesis. [Citation Graph (, )][DBLP]
    
    
29. 
    MacroLab: a vector-based macroprogramming framework for cyber-physical systems. [Citation Graph (, )][DBLP]
    
    
30. 
    Macrodebugging: global views of distributed program execution. [Citation Graph (, )][DBLP]
    
    
31. 
    Specification Mining with Few False Positives. [Citation Graph (, )][DBLP]
    
    
32. 
    Automatic program repair with evolutionary computation. [Citation Graph (, )][DBLP]