activity
20122025
most citedUsing Dynamic Analysis to Generate Disjunctive Invariants

29 citations · 52 across the 9 of their papers we have counts for

collaborators
Showing cs.SEShow all

7 papers · 1 filter

cs.SE2024

Automated Program Repair: Emerging trends pose and expose problems for benchmarks

Joseph Renzullo, Pemma Reiter, Westley Weimer +1

Machine learning (ML) now pervades the field of Automated Program Repair (APR). Algorithms deploy neural machine translation and large language models (LLMs) to generate software p…

cs.SE20242 cited

High Expectations: An Observational Study of Programming and Cannabis Intoxication

Wenxin He, Manasvi Parikh, Westley Weimer +1

Anecdotal evidence of cannabis use by professional programmers abounds. Recent studies have found that some professionals regularly use cannabis while programming even for work-rel…

cs.SE20232 cited

From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers

Kaia Newman, Madeline Endres, Brittany Johnson +1

Psychoactive substances, which influence the brain to alter perceptions and moods, have the potential to have positive and negative effects on critical software engineering tasks.…

cs.SE2021

Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study

Madeline Endres, Zachary Karas, Xiaosu Hu +2

Understanding how novices reason about coding at a neurological level has implications for training the next generation of software engineers. In recent years, medical imaging has…

cs.SE20201 cited

Genetic Improvement @ ICSE 2020

William B. Langdon, Westley Weimer, Justyna Petke +13

Following Prof. Mark Harman of Facebook's keynote and formal presentations (which are recorded in the proceedings) there was a wide ranging discussion at the eighth international G…

cs.SE201929 cited

Using Dynamic Analysis to Generate Disjunctive Invariants

ThanhVu Nguyen, Deepak Kapur, Westley Weimer +1

Program invariants are important for defect detection, program verification, and program repair. However, existing techniques have limited support for important classes of invarian…