World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
56
Citations
18832
World Ranking
3975
National Ranking
1892

Research.com Recognitions

  • 2012 - ACM Senior Member

Overview

Westley Weimer is affiliated with the University of Michigan-Ann Arbor in the United States. Their research primarily focuses on computer science, with a significant emphasis on software and related subfields. The main areas of study include information systems, software engineering, artificial intelligence, electrical and electronic engineering, and signal processing.

Their work covers several key topics within these fields:

  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Advanced Malware Detection Techniques
  • Security and Verification in Computing
  • Software Reliability and Analysis Research
  • VLSI and Analog Circuit Testing
  • Integrated Circuits and Semiconductor Failure Analysis

Westley Weimer has contributed to various research papers across multiple venues. Some notable recent papers include:

  • "The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities" (2020), published in Artificial Life
  • "Toward an Objective Measure of Developers' Cognitive Activities" (2021), published in ACM Transactions on Software Engineering and Methodology
  • "Eyes on Code: A Study on Developers' Code Navigation Strategies" (2020), published in IEEE Transactions on Software Engineering
  • "A Coprocessor-Based Introspection Framework Via Intel Management Engine" (2021), published in IEEE Transactions on Dependable and Secure Computing
  • "MIMOSA: Reducing Malware Analysis Overhead with Coverings" (2021), published in arXiv (Cornell University)

The scientist frequently publishes in the following venues:

  • Zenodo (CERN European Organization for Nuclear Research)
  • arXiv (Cornell University)
  • IEEE Transactions on Software Engineering
  • IEEE Transactions on Dependable and Secure Computing
  • Artificial Life

Westley Weimer collaborates regularly with several co-authors including Stephanie Forrest, Yu Huang, Madeline Endres, Hammad Ahmad, and Kevin Leach.

In recognition of their professional standing, Westley Weimer was awarded the ACM Senior Member distinction in 2012.

Best Publications

  • OceanStore: an architecture for global-scale persistent storage

    John Kubiatowicz;David Bindel;Yan Chen;Steven Czerwinski

  • CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

    George C. Necula;Scott McPeak;Shree Prakash Rahul;Westley Weimer

  • GenProg: A Generic Method for Automatic Software Repair

    C. Le Goues;ThanhVu Nguyen;S. Forrest;W. Weimer

  • Automatically finding patches using genetic programming

    Westley Weimer;ThanhVu Nguyen;Claire Le Goues;Stephanie Forrest

  • CCured: type-safe retrofitting of legacy code

    George C. Necula;Scott McPeak;Westley Weimer

  • 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

  • CCured: type-safe retrofitting of legacy code

    Unknown

  • CCured: type-safe retrofitting of legacy software

    George C. Necula;Jeremy Condit;Matthew Harren;Scott McPeak

  • Learning a Metric for Code Readability

    Raymond P L Buse;Westley R Weimer

  • Modeling bug report quality

    Pieter Hooimeijer;Westley Weimer

  • Automated duplicate detection for bug tracking systems

    N. Jalbert;W. Weimer

  • The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

    Claire Le Goues;Neal Holtschulte;Edward K. Smith;Yuriy Brun

  • Mining temporal specifications for error detection

    Westley Weimer;George C. Necula

  • A genetic programming approach to automated software repair

    Stephanie Forrest;ThanhVu Nguyen;Westley Weimer;Claire Le Goues

  • Leveraging program equivalence for adaptive program repair: models and first results

    Westley Weimer;Zachary P. Fry;Stephanie Forrest

  • The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities

    Joel Lehman;Jeff Clune;Dusan Misevic;Christoph Adami

  • Automatically documenting program changes

    Raymond P.L. Buse;Westley R. Weimer

  • Automatic program repair with evolutionary computation

    Westley Weimer;Stephanie Forrest;Claire Le Goues;ThanhVu Nguyen

  • A metric for software readability

    Raymond P.L. Buse;Westley R. Weimer

  • Temporal-Safety Proofs for Systems Code

    Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;George C. Necula

  • CCured in the real world

    Jeremy Condit;Matthew Harren;Scott McPeak;George C. Necula

  • The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities

    Joel Lehman;Jeff Clune;Dusan Misevic;Christoph Adami

Frequent Co-Authors

Stephanie Forrest
Stephanie Forrest Arizona State University
Claire Le Goues
Claire Le Goues Carnegie Mellon University
Ranjit Jhala
Ranjit Jhala University of California, San Diego
George C. Necula
George C. Necula University of California, Berkeley
William B. Langdon
William B. Langdon University College London
Deepak Kapur
Deepak Kapur University of New Mexico
Mark Harman
Mark Harman University College London
Kevin Skadron
Kevin Skadron University of Virginia
Kamalika Chaudhuri
Kamalika Chaudhuri University of California, San Diego
John C. Knight
John C. Knight University of Virginia

If you think any of the details on this page are incorrect, let us know.

Report an issue

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:

Related Online Degrees & Career Pathways

The rapidly evolving field of Computer Science offers numerous online degree pathways for students at every stage of their academic and professional journey. For those seeking a quick start, the shortest associate degree program options can provide foundational skills in less time, allowing graduates to enter the workforce or pursue further studies sooner.

Cost is a major consideration for many students. Exploring the cheapest accredited online doctoral programs can make it possible to earn advanced credentials and specialize in areas such as artificial intelligence or data science without breaking the bank.

Quality matters when selecting an institution. It's important to look into good online colleges with strong reputations, ensuring your degree is valued by employers and helps you meet your career goals.

If you’re passionate about the gaming industry, earning a specialized degree like a game design masters online can open doors to creative and technical roles in one of tech’s fastest-growing sectors.

Best Scientists Citing Westley Weimer

Trending Scientists

Recently Published Articles