Westley R. Weimer, Ph.D. - Publications

Affiliations: 
2005 University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis

18 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Dorn J, Lacomis J, Weimer W, Forrest S. Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs Ieee Transactions On Software Engineering. 45: 219-236. DOI: 10.1109/Tse.2017.2775634  0.457
2019 Angstadt K, Wadden J, Weimer W, Skadron K. Portable Programming with RAPID Ieee Transactions On Parallel and Distributed Systems. 30: 939-952. DOI: 10.1109/Tpds.2018.2869736  0.74
2018 Petke J, Harman M, Langdon WB, Weimer W. Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation Ieee Transactions On Software Engineering. 44: 574-594. DOI: 10.1109/Tse.2017.2702606  0.415
2018 Angstadt K, Wadden J, Dang V, Xie T, Kramp D, Weimer W, Stan M, Skadron K. MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem Ieee Computer Architecture Letters. 17: 84-87. DOI: 10.1109/Lca.2017.2780105  0.574
2018 Seidel EL, Jhala R, Weimer W. Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong) Journal of Functional Programming. 28. DOI: 10.1017/S0956796818000126  0.61
2018 Monperrus M, Weimer W. Editor's Note : Special Issue on Automatic Software Repair Empirical Software Engineering. 23: 2865-2865. DOI: 10.1007/S10664-018-9632-7  0.328
2017 Le Goues C, Brun Y, Forrest S, Weimer W. Clarifications on the Construction and Use of the ManyBugs Benchmark Ieee Transactions On Software Engineering. 43: 1089-1090. DOI: 10.1109/Tse.2017.2755651  0.326
2015 Le Goues C, Holtschulte N, Smith EK, Brun Y, Devanbu P, Forrest S, Weimer W. The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs Ieee Transactions On Software Engineering. 41: 1236-1256. DOI: 10.1109/Tse.2015.2454513  0.541
2014 Schulte E, Fry ZP, Fast E, Weimer W, Forrest S. Software mutational robustness Genetic Programming and Evolvable Machines. 15: 281-312. DOI: 10.1007/S10710-013-9195-8  0.512
2013 Le Goues C, Forrest S, Weimer W. Current challenges in automatic software repair Software Quality Journal. 21: 421-443. DOI: 10.1007/S11219-013-9208-0  0.492
2012 Le Goues C, Weimer W. Measuring code quality to improve specification mining Ieee Transactions On Software Engineering. 38: 175-190. DOI: 10.1109/Tse.2011.5  0.465
2012 Le Goues C, Nguyen T, Forrest S, Weimer W. GenProg: A generic method for automatic software repair Ieee Transactions On Software Engineering. 38: 54-72. DOI: 10.1109/Tse.2011.104  0.622
2011 Dobolyi K, Soechting E, Weimer W. Automating regression testing using web-based application similarities International Journal On Software Tools For Technology Transfer. 13: 111-129. DOI: 10.1007/S10009-010-0170-X  0.413
2010 Weimer W, Forrest S, Le Goues C, Nguyen T. Automatic program repair with evolutionary computation Communications of the Acm. 53: 109-116. DOI: 10.1145/1735223.1735249  0.591
2010 Buse RPL, Weimer WR. Learning a metric for code readability Ieee Transactions On Software Engineering. 36: 546-558. DOI: 10.1109/Tse.2009.70  0.396
2008 Weimer W, Necula GC. Exceptional situations and program reliability Acm Transactions On Programming Languages and Systems. 30. DOI: 10.1145/1330017.1330019  0.785
2008 Weimer W, Mishra N. Privately finding specifications Ieee Transactions On Software Engineering. 34: 21-32. DOI: 10.1109/Tse.2007.70744  0.511
2006 Weimer W. Exception-Handling bugs in java and a language extension to avoid them Lecture Notes in Computer Science. 22-41. DOI: 10.1007/11818502_2  0.614
Show low-probability matches.