75 citations · 176 across the 17 of their papers we have counts for
19 papers
Prebiotic Functional Programs: Endogenous Selection in an Artificial Chemistry
Devansh Vimal, Cole Mathis, Westley Weimer +1
Artificial chemistry simulations produce many intriguing emergent behaviors, but they are often difficult to steer or control. This paper proposes a method for steering the dynamic…
Self-Organization in Computation & Chemistry: Return to AlChemy
Cole Mathis, Devansh Patel, Westley Weimer +1
How do complex adaptive systems, such as life, emerge from simple constituent parts? In the 1990s Walter Fontana and Leo Buss proposed a novel modeling approach to this question, b…
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…
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…
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.…
Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation
Pemma Reiter, Hui Jun Tay, Westley Weimer +3
Vulnerabilities are challenging to locate and repair, especially when source code is unavailable and binary patching is required. Manual methods are time-consuming, require signifi…
Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation
Madeline Endres, Kevin Boehnke, Westley Weimer
Cannabis is one of the most common mind-altering substances. It is used both medicinally and recreationally and is enmeshed in a complex and changing legal landscape. Anecdotal evi…
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…
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 +50
Biological evolution provides a creative fount of complex and subtle adaptations, often surprising the scientists who discover them. However, because evolution is an algorithmic pr…
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri +2
Localizing type errors is challenging in languages with global type inference, as the type checker must make assumptions about what the programmer intended to do. We introduce Nate…
Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Eric L Seidel, Ranjit Jhala, Westley Weimer
Static type errors are a common stumbling block for newcomers to typed functional languages. We present a dynamic approach to explaining type errors by generating counterexample wi…
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches
Matias Martinez, Westley Weimer, Martin Monperrus
Much initial research on automatic program repair has focused on experimental results to probe their potential to find patches and reduce development effort. Relatively less effort…
Fault Localization Using Textual Similarities
Zachary P. Fry, Westley Weimer
Maintenance is a dominant component of software cost, and localizing reported defects is a significant component of maintenance. We propose a scalable approach that leverages the n…
Software Mutational Robustness
Eric Schulte, Zachary P. Fry, Ethan Fast +2
Neutral landscapes and mutational robustness are believed to be important enablers of evolvability in biology. We apply these concepts to software, defining mutational robustness t…