2012 - ACM Senior Member
Westley Weimer focuses on Programming language, Software maintenance, Software bug, Software and Genetic programming. The Software maintenance study which covers Software quality that intersects with Documentation, Natural language processing and Readability. His Software bug study combines topics in areas such as Software system, Data mining and Benchmark.
Westley Weimer interconnects Formal specification and Database in the investigation of issues within Software. His Formal specification research also works with subjects such as
His primary scientific interests are in Programming language, Software, Debugging, Code and Software engineering. His Programming language study incorporates themes from Abstraction and Genetic programming. His biological study spans a wide range of topics, including Data mining, Formal specification and Source code.
His Debugging course of study focuses on Counterexample and Theoretical computer science. Westley Weimer has included themes like Java, Software maintenance and Test suite in his Software bug study. His studies examine the connections between Software maintenance and genetics, as well as such issues in Source lines of code, with regards to Documentation.
His main research concerns Reading, Software, Code, Coding and Programming language. His research in Software intersects with topics in Low overhead, Distributed computing and Face-to-face. The subject of his Code research is within the realm of Computer security.
His biological study spans a wide range of topics, including Software deployment, Artificial intelligence and Natural language processing. His research links Code navigation with Programming language. His Python study deals with Test case intersecting with Source code.
Reading, State, Evolutionary computation, Software and Set are his primary areas of study. His State research integrates issues from Maintainability, Software engineering, Software testing and Static program analysis. His Evolutionary computation study incorporates themes from Experimental evolution and Artificial life.
His Software research includes elements of Computer security, Volume, Leverage and Malware analysis. His Set research incorporates themes from Automaton, Pattern matching, Field-programmable gate array, Embedded system and Benchmark. In his research, Natural language processing, Machine learning and Ranking is intimately related to Artificial intelligence, which falls under the overarching field of Program comprehension.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
OceanStore: an architecture for global-scale persistent storage
John Kubiatowicz;David Bindel;Yan Chen;Steven Czerwinski.
architectural support for programming languages and operating systems (2000)
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
George C. Necula;Scott McPeak;Shree Prakash Rahul;Westley Weimer.
compiler construction (2002)
CCured: type-safe retrofitting of legacy code
George C. Necula;Scott McPeak;Westley Weimer.
symposium on principles of programming languages (2002)
GenProg: A Generic Method for Automatic Software Repair
C. Le Goues;ThanhVu Nguyen;S. Forrest;W. Weimer.
IEEE Transactions on Software Engineering (2012)
Automatically finding patches using genetic programming
Westley Weimer;ThanhVu Nguyen;Claire Le Goues;Stephanie Forrest.
international conference on software engineering (2009)
A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each
Claire Le Goues;Michael Dewey-Vogt;Stephanie Forrest;Westley Weimer.
international conference on software engineering (2012)
CCured: type-safe retrofitting of legacy software
George C. Necula;Jeremy Condit;Matthew Harren;Scott McPeak.
ACM Transactions on Programming Languages and Systems (2005)
Modeling bug report quality
Pieter Hooimeijer;Westley Weimer.
automated software engineering (2007)
Automated duplicate detection for bug tracking systems
N. Jalbert;W. Weimer.
dependable systems and networks (2008)
Learning a Metric for Code Readability
Raymond P L Buse;Westley R Weimer.
IEEE Transactions on Software Engineering (2010)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: