Westley R. Weimer, Ph.D.
Affiliations: | 2005 | University of California, Berkeley, Berkeley, CA, United States |
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysisGoogle:
"Westley Weimer"Parents
Sign in to add mentor| George Necula | grad student | 2005 | UC Berkeley | |
| (Exceptional situations and program reliability.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Dorn J, Lacomis J, Weimer W, et al. (2019) Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs Ieee Transactions On Software Engineering. 45: 219-236 |
| Angstadt K, Wadden J, Weimer W, et al. (2019) Portable Programming with RAPID Ieee Transactions On Parallel and Distributed Systems. 30: 939-952 |
| Petke J, Harman M, Langdon WB, et al. (2018) Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation Ieee Transactions On Software Engineering. 44: 574-594 |
| Angstadt K, Wadden J, Dang V, et al. (2018) MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem Ieee Computer Architecture Letters. 17: 84-87 |
| Seidel EL, Jhala R, Weimer W. (2018) Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong) Journal of Functional Programming. 28 |
| Monperrus M, Weimer W. (2018) Editor's Note : Special Issue on Automatic Software Repair Empirical Software Engineering. 23: 2865-2865 |
| Le Goues C, Brun Y, Forrest S, et al. (2017) Clarifications on the Construction and Use of the ManyBugs Benchmark Ieee Transactions On Software Engineering. 43: 1089-1090 |
| Le Goues C, Holtschulte N, Smith EK, et al. (2015) The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs Ieee Transactions On Software Engineering. 41: 1236-1256 |
| Schulte E, Fry ZP, Fast E, et al. (2014) Software mutational robustness Genetic Programming and Evolvable Machines. 15: 281-312 |
| Le Goues C, Forrest S, Weimer W. (2013) Current challenges in automatic software repair Software Quality Journal. 21: 421-443 |