29 citations · 50 across the 6 of their papers we have counts for
9 papers
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…
MIMOSA: Reducing Malware Analysis Overhead with Coverings
Mohsen Ahmadi, Kevin Leach, Ryan Dougherty +2
There is a growing body of malware samples that evade automated analysis and detection tools. Malware may measure fingerprints ("artifacts") of the underlying analysis tool or envi…
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…
The State and Future of Genetic Improvement
William B. Langdon, Westley Weimer, Christopher Timperley +9
We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on So…
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…
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
ThanhVu Nguyen, Westley Weimer, Deepak Kapur +1
We prove that certain formulations of program synthesis and reachability are equivalent. Specifically, our constructive proof shows the reductions between the template-based synthe…