OceanStore: An Architecture for Global-Scale Persistent Storage. - John Kubiatowicz; David Bindel; Yan Chen 004; Steven E. Czerwinski; Patrick R. Eaton; Dennis Geels; Ramakrishna Gummadi; Sean C. Rhea; Hakim Weatherspoon; Westley Weimer; Chris Wells; Ben Y. Zhao (ASPLOS, 2000)

Temporal-Safety Proofs for Systems Code. - Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar; George C. Necula; Grégoire Sutre; Westley Weimer (CAV, 2002)

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. - George C. Necula; Scott McPeak; Shree Prakash Rahul; Westley Weimer (CC, 2002)

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. - Stephen Adams 001; Thomas Ball 001; Manuvir Das; Sorin Lerner; Sriram K. Rajamani; Mark Seigle; Westley Weimer (SAS, 2002)

CCured in the real world. - Jeremy Condit; Matthew Harren; Scott McPeak; George C. Necula; Westley Weimer (PLDI, 2003)

Finding and preventing run-time error handling mistakes. - Westley Weimer; George C. Necula (OOPSLA, 2004)

Mining Temporal Specifications for Error Detection. - Westley Weimer; George C. Necula (TACAS, 2005)

CCured: type-safe retrofitting of legacy software. - George C. Necula; Jeremy Condit; Matthew Harren; Scott McPeak; Westley Weimer (ACM Trans. Program. Lang. Syst., 2005)

Exception-Handling Bugs in Java and a Language Extension to Avoid Them. - Westley Weimer (Advanced Topics in Exception Handling Techniques, 2006)

Patches as better bug reports. - Westley Weimer (GPCE, 2006)

Modeling bug report quality. - Pieter Hooimeijer; Westley Weimer (ASE, 2007)

Automated duplicate detection for bug tracking systems. - Nicholas Jalbert; Westley Weimer (DSN, 2008)

Changing Java's Semantics for Handling Null Pointer Exceptions. - Kinga Dobolyi; Westley Weimer (ISSRE, 2008)

A metric for software readability. - Raymond P. L. Buse; Westley Weimer (ISSTA, 2008)

Automatic documentation inference for exceptions. - Raymond P. L. Buse; Westley Weimer (ISSTA, 2008)

Formal Verification by Reverse Synthesis. - Xiang Yin 001; John C. Knight; Elisabeth A. Nguyen; Westley Weimer (SAFECOMP, 2008)

MacroLab: a vector-based macroprogramming framework for cyber-physical systems. - Timothy W. Hnat; Tamim I. Sookoor; Pieter Hooimeijer; Westley Weimer; Kamin Whitehouse (SenSys, 2008)

Talking to strangers without taking their candy: isolating proxied content. - Adrienne Felt; Pieter Hooimeijer; David Evans 001; Westley Weimer (SNS, 2008)

Exceptional situations and program reliability. - Westley Weimer; George C. Necula (ACM Trans. Program. Lang. Syst., 2008)

Privately Finding Specifications. - Westley Weimer; Nina Mishra (IEEE Trans. Software Eng., 2008)

Exploiting refactoring in formal verification. - Xiang Yin 001; John C. Knight; Westley Weimer (DSN, 2009)

A genetic programming approach to automated software repair. - Stephanie Forrest; ThanhVu Nguyen; Westley Weimer; Claire Le Goues (GECCO, 2009)

The road not taken: Estimating path execution frequency statically. - Raymond P. L. Buse; Westley Weimer (ICSE, 2009)

Automatically finding patches using genetic programming. - Westley Weimer; ThanhVu Nguyen; Claire Le Goues; Stephanie Forrest (ICSE, 2009)

Using Execution Paths to Evolve Software Patches. - ThanhVu Nguyen; Westley Weimer; Claire Le Goues; Stephanie Forrest (ICST Workshops, 2009)

Harnessing Web-Based Application Similarities to Aid in Regression Testing. - Kinga Dobolyi; Westley Weimer (ISSRE, 2009)

A decision procedure for subset constraints over regular languages. - Pieter Hooimeijer; Westley Weimer (PLDI, 2009)

Macrodebugging: global views of distributed program execution. - Tamim I. Sookoor; Timothy W. Hnat; Pieter Hooimeijer; Westley Weimer; Kamin Whitehouse (SenSys, 2009)

Specification Mining with Few False Positives. - Claire Le Goues; Westley Weimer (TACAS, 2009)

Syntactic regression testing for tree-structured output. - Elizabeth Soechting; Kinga Dobolyi; Westley Weimer (WSE, 2009)

Designing better fitness functions for automated program repair. - Ethan Fast; Claire Le Goues; Stephanie Forrest; Westley Weimer (GECCO, 2010)

A modular and extensible macroprogramming compiler. - Timothy W. Hnat; Tamim I. Sookoor; Pieter Hooimeijer; Westley Weimer; Kamin Whitehouse (SESENA@ICSE, 2010)

A human study of fault localization accuracy. - Zachary P. Fry; Westley Weimer (ICSM, 2010)

Modeling consumer-perceived web application fault severities for testing. - Kinga Dobolyi; Westley Weimer (ISSTA, 2010)

Automatically documenting program changes. - Raymond P. L. Buse; Westley Weimer (ASE, 2010)

Solving string constraints lazily. - Pieter Hooimeijer; Westley Weimer (ASE, 2010)

Automated program repair through the evolution of assembly code. - Eric M. Schulte; Stephanie Forrest; Westley Weimer (ASE, 2010)

The case for software evolution. - Claire Le Goues; Stephanie Forrest; Westley Weimer (FoSER, 2010)

Automatic program repair with evolutionary computation. - Westley Weimer; Stephanie Forrest; Claire Le Goues; ThanhVu Nguyen (Commun. ACM, 2010)

Learning a Metric for Code Readability. - Raymond P. L. Buse; Westley Weimer (IEEE Trans. Software Eng., 2010)

Benefits and barriers of user evaluation in software engineering research. - Raymond P. L. Buse; Caitlin Sadowski; Westley Weimer (OOPSLA, 2011)

Self-Repairing Programs (Dagstuhl Seminar 11062). - Mauro Pezzè; Martin C. Rinard; Westley Weimer; Andreas Zeller (Dagstuhl Reports, 2011)

Automating regression testing using web-based application similarities. - Kinga Dobolyi; Elizabeth Soechting; Westley Weimer (Int. J. Softw. Tools Technol. Transf., 2011)

Genetic programming for shader simplification. - Pitchaya Sitthi-amorn; Nicholas Modly; Westley Weimer; Jason Lawrence (ACM Trans. Graph., 2011)

Representations and operators for improving evolutionary software repair. - Claire Le Goues; Westley Weimer; Stephanie Forrest (GECCO, 2012)

Synthesizing API usage examples. - Raymond P. L. Buse; Westley Weimer (ICSE, 2012)

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 (ICSE, 2012)

Using dynamic analysis to discover polynomial and array invariants. - ThanhVu Nguyen; Deepak Kapur; Westley Weimer; Stephanie Forrest (ICSE, 2012)

A human study of patch maintainability. - Zachary P. Fry; Bryan Landau; Westley Weimer (ISSTA, 2012)

StrSolve: solving string constraints lazily. - Pieter Hooimeijer; Westley Weimer (Autom. Softw. Eng., 2012)

Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology - Eric M. Schulte; Zachary P. Fry; Ethan Fast; Stephanie Forrest; Westley Weimer (CoRR, 2012)

Fault Localization Using Textual Similarities - Zachary P. Fry; Westley Weimer (CoRR, 2012)

CCured: type-safe retrofitting of legacy code. - George C. Necula; Scott McPeak; Westley Weimer (ACM SIGPLAN Notices, 2012)

GenProg: A Generic Method for Automatic Software Repair. - Claire Le Goues; ThanhVu Nguyen; Stephanie Forrest; Westley Weimer (IEEE Trans. Software Eng., 2012)

Measuring Code Quality to Improve Specification Mining. - Claire Le Goues; Westley Weimer (IEEE Trans. Software Eng., 2012)

Automated repair of binary and assembly programs for cooperating embedded devices. - Eric M. Schulte; Jonathan DiLorenzo; Westley Weimer; Stephanie Forrest (ASPLOS, 2013)

Leveraging Light-Weight Analyses to Aid Software Maintenance. - Zachary P. Fry; Westley Weimer (ICST, 2013)

Leveraging program equivalence for adaptive program repair: Models and first results. - Westley Weimer; Zachary P. Fry; Stephanie Forrest (ASE, 2013)

Advances in Automated Program Repair and a Call to Arms. - Westley Weimer (SSBSE, 2013)

Clustering static analysis defect reports to reduce maintenance costs. - Zachary P. Fry; Westley Weimer (WCRE, 2013)

Genetic programming for Reverse Engineering. - Mark Harman; William B. Langdon; Westley Weimer (WCRE, 2013)

Current challenges in automatic software repair. - Claire Le Goues; Stephanie Forrest; Westley Weimer (Softw. Qual. J., 2013)

Post-compiler software optimization for reducing energy. - Eric M. Schulte; Jonathan Dorn; Stephen Harding; Stephanie Forrest; Westley Weimer (ASPLOS, 2014)

Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. - Justyna Petke; Mark Harman; William B. Langdon; Westley Weimer (EuroGP, 2014)

Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches. - Matias Martinez; Westley Weimer; Martin Monperrus (ICSE Companion, 2014)

Using dynamic analysis to generate disjunctive invariants. - ThanhVu Nguyen; Deepak Kapur; Westley Weimer; Stephanie Forrest (ICSE, 2014)

Software mutational robustness. - Eric M. Schulte; Zachary P. Fry; Ethan Fast; Westley Weimer; Stephanie Forrest (Genet. Program. Evolvable Mach., 2014)

genBRDF: discovering new analytic BRDFs with genetic programming. - Adam Brady; Jason Lawrence; Pieter Peers; Westley Weimer (ACM Trans. Graph., 2014)

DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. - ThanhVu Nguyen; Deepak Kapur; Westley Weimer; Stephanie Forrest (ACM Trans. Softw. Eng. Methodol., 2014)

Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair. - Eric M. Schulte; Westley Weimer; Stephanie Forrest (GECCO (Companion), 2015)

Deep Parameter Optimisation. - Fan Wu 009; Westley Weimer; Mark Harman; Yue Jia 001; Jens Krinke (GECCO, 2015)

Modeling readability to improve unit tests. - Ermira Daka; José Campos 001; Gordon Fraser 001; Jonathan Dorn; Westley Weimer (ESEC/SIGSOFT FSE, 2015)

Generating Readable Unit Tests for Guava. - Ermira Daka; José Campos 001; Jonathan Dorn; Gordon Fraser 001; Westley Weimer (SSBSE, 2015)

Towards Automatic Band-Limited Procedural Shaders. - Jonathan Dorn; Connelly Barnes; Jason Lawrence; Westley Weimer (Comput. Graph. Forum, 2015)

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. - Claire Le Goues; Neal J. Holtschulte; Edward K. Smith; Yuriy Brun; Premkumar T. Devanbu; Stephanie Forrest; Westley Weimer (IEEE Trans. Software Eng., 2015)

RAPID Programming of Pattern-Recognition Processors. - Kevin Angstadt; Westley Weimer; Kevin Skadron (ASPLOS, 2016)

A MapReduce framework to improve template matching uncertainty. - Nicholas J. Napoli; Kevin Leach; Laura E. Barnes; Westley Weimer (BigComp, 2016)

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. - Michele Co; Jack W. Davidson; Jason D. Hiser; John C. Knight; Anh Nguyen-Tuong; Westley Weimer; Jonathan Burket; Gregory L. Frazier; Tiffany M. Frazier; Bruno Dutertre; Ian A. Mason; Natarajan Shankar; et al. (CISRC, 2016)

An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture. - Kate Highnam; Kevin Angstadt; Kevin Leach; Westley Weimer; Aaron Paulos; Patrick Hurley (DSN Workshops, 2016)

Trusted Software Repair for System Resiliency. - Westley Weimer; Stephanie Forrest; Miryung Kim; Claire Le Goues; Patrick Hurley (DSN Workshops, 2016)

Genetic Improvement 2016 Chairs' Welcome & Organization. - Westley Weimer; Justyna Petke; David Robert White (GECCO (Companion), 2016)

Towards Transparent Introspection. - Kevin Leach; Chad Spensky; Westley Weimer; Fengwei Zhang (SANER, 2016)

Dynamic Witnesses for Static Type Errors. - Eric L. Seidel; Ranjit Jhala; Westley Weimer (CoRR, 2016)

Decoding the representation of code in the brain: an fMRI study of code review and expertise. - Benjamin Floyd; Tyler Santander; Westley Weimer (ICSE, 2017)

Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage. - Kevin Leach; Fengwei Zhang; Westley Weimer (RAID, 2017)

Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. - ThanhVu Nguyen; Westley Weimer; Deepak Kapur; Stephanie Forrest (TACAS (1), 2017)

Learning to blame: localizing novice type errors with data-driven diagnosis. - Eric L. Seidel; Huma Sibghat; Kamalika Chaudhuri; Westley Weimer; Ranjit Jhala (Proc. ACM Program. Lang., 2017)

Clarifications on the Construction and Use of the ManyBugs Benchmark. - Claire Le Goues; Yuriy Brun; Stephanie Forrest; Westley Weimer (IEEE Trans. Software Eng., 2017)

Neutrality and epistasis in program space. - Joseph Renzullo; Westley Weimer; Melanie E. Moses; Stephanie Forrest (GI@ICSE, 2018)

ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata. - Kevin Angstadt; Arun Subramaniyan 001; Elaheh Sadredini; Reza Rahimi; Kevin Skadron; Westley Weimer; Reetuparna Das (MICRO, 2018)

MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem. - Kevin Angstadt; Jack Wadden; Vinh Dang; Ted Xie; Dan Kramp; Westley Weimer; Mircea Stan; Kevin Skadron (IEEE Comput. Archit. Lett., 2018)

Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). - Eric L. Seidel; Ranjit Jhala; Westley Weimer (J. Funct. Program., 2018)

Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. - Justyna Petke; Mark Harman; William B. Langdon; Westley Weimer (IEEE Trans. Software Eng., 2018)

Debugging Support for Pattern-Matching Languages and Accelerators. - Matthew Casias; Kevin Angstadt; Tommy Tracy II; Kevin Skadron; Westley Weimer (ASPLOS, 2019)

Nighthawk: Transparent System Introspection from Ring -3. - Lei Zhou 023; Jidong Xiao; Kevin Leach; Westley Weimer; Fengwei Zhang; Guojun Wang 001 (ESORICS (2), 2019)

Distilling neural representations of data structure manipulation using fMRI and fNIRS. - Yu Huang 015; Xinyu Liu; Ryan Krueger; Tyler Santander; Xiaosu Hu; Kevin Leach; Westley Weimer (ICSE, 2019)

Evolutionary computation for improving malware analysis. - Kevin Leach; Ryan E. Dougherty; Chad Spensky; Stephanie Forrest; Westley Weimer (GI@ICSE, 2019)

What goes on in your brain when you read and understand code? - Westley Weimer (ICPC, 2019)

Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. - Padraic Cashin; Carianne Martinez; Westley Weimer; Stephanie Forrest (ASE, 2019)

InFix: Automatically Repairing Novice Program Inputs. - Madeline Endres; Georgios Sakkas; Benjamin Cosman; Ranjit Jhala; Westley Weimer (ASE, 2019)

The State and Future of Genetic Improvement. - William B. Langdon; Westley Weimer; Christopher Steven Timperley; Oliver Krauss; Zhen Yu Ding; Yiwei Lyu; Nicolas Chausseau; Eric M. Schulte; Shin Hwei Tan; Kevin Leach; Yu Huang 015; Gabin An (ACM SIGSOFT Softw. Eng. Notes, 2019)

Portable Programming with RAPID. - Kevin Angstadt; Jack Wadden; Westley Weimer; Kevin Skadron (IEEE Trans. Parallel Distributed Syst., 2019)

Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs. - Jonathan Dorn; Jeremy Lacomis; Westley Weimer; Stephanie Forrest (IEEE Trans. Software Eng., 2019)

Accelerating Legacy String Kernels via Bounded Automata Learning. - Kevin Angstadt; Jean-Baptiste Jeannin; Westley Weimer (ASPLOS, 2020)

MARTINI: Memory Access Traces to Detect Attacks. - Yujun Qin; Samuel Gonzalez; Kevin Angstadt; Xiaowei Wang; Stephanie Forrest; Reetuparna Das; Kevin Leach; Westley Weimer (CCSW, 2020)

KShot: Live Kernel Patching with SMM and SGX. - Lei Zhou 023; Fengwei Zhang; Jinghui Liao; Zhenyu Ning; Jidong Xiao; Kevin Leach; Westley Weimer; Guojun Wang 001 (DSN, 2020)

Trustworthiness Perceptions in Code Review: An Eye-tracking Study. - Ian Bertram; Jack Hong; Yu Huang 015; Westley Weimer; Zohreh Sharafi (ESEM, 2020)

Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. - Yu Huang 015; Kevin Angstadt; Kevin Leach; Westley Weimer (ICSE (Workshops), 2020)

Neurological divide: an fMRI study of prose and code writing. - Ryan Krueger; Yu Huang 015; Xinyu Liu; Tyler Santander; Westley Weimer; Kevin Leach (ICSE, 2020)

A Human Study of Comprehension and Code Summarization. - Sean Stapleton; Yashmeet Gambhir; Alexander LeClair; Zachary Eberhart; Westley Weimer; Kevin Leach; Yu Huang 015 (ICPC, 2020)

Type error feedback via analytic program repair. - Georgios Sakkas; Madeline Endres; Benjamin Cosman; Westley Weimer; Ranjit Jhala (PLDI, 2020)

PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization. - Benjamin Cosman; Madeline Endres; Georgios Sakkas; Leon Medvinsky; Yao-Yuan Yang; Ranjit Jhala; Kamalika Chaudhuri; Westley Weimer (SIGCSE, 2020)

Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines. - Yu Huang 015; Kevin Leach; Zohreh Sharafi; Nicholas McKay; Tyler Santander; Westley Weimer (ESEC/SIGSOFT FSE, 2020)

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; Lee Altenberg; Julie Beaulieu; Peter J. Bentley; Samuel Bernard; Guillaume Beslon; David M. Bryson; Nick Cheney; Patryk Chrabaszcz; et al. (Artif. Life, 2020)

Genetic Improvement @ ICSE 2020. - William B. Langdon; Westley Weimer; Justyna Petke; Erik M. Fredericks; Seongmin Lee 001; Emily Winter 001; Michail Basios; Myra B. Cohen; Aymeric Blot; Markus Wagner 007; Bobby R. Bruce; Shin Yoo; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Applying Automated Program Repair to Dataflow Programming Languages. - Yu Huang 015; Hammad Ahmad; Stephanie Forrest; Westley Weimer (GI@ICSE, 2021)

Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study. - Madeline Endres; Zachary Karas; Xiaosu Hu; Ioulia Kovelman; Westley Weimer (ICSE, 2021)

Multiplicative Weights Algorithms for Parallel Automated Software Repair. - Joseph Renzullo; Westley Weimer; Stephanie Forrest (IPDPS, 2021)

The Early Bird Gets the Worm: Major Retention in CS3. - Fee Lia Christoph; Westley Weimer; Kevin Angstadt (ITiCSE (1), 2021)

An Analysis of Iterative and Recursive Problem Performance. - Madeline Endres; Westley Weimer; Amir Kamil (SIGCSE, 2021)

To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability. - Madeline Endres; Madison Fansher; Priti Shah; Westley Weimer (ESEC/SIGSOFT FSE, 2021)

Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity. - Zachary Karas; Andrew Jahn; Westley Weimer; Yu Huang 015 (ESEC/SIGSOFT FSE, 2021)

MIMOSA: Reducing Malware Analysis Overhead with Coverings. - Mohsen Ahmadi; Kevin Leach; Ryan E. Dougherty; Stephanie Forrest; Westley Weimer (CoRR, 2021)

Relating Reading, Visualization, and Coding forNew Programmers: A Neuroimaging Study. - Madeline Endres; Zachary Karas; Xiaosu Hu; Ioulia Kovelman; Westley Weimer (CoRR, 2021)

A Coprocessor-Based Introspection Framework Via Intel Management Engine. - Lei Zhou 023; Fengwei Zhang; Jidong Xiao; Kevin Leach; Westley Weimer; Xuhua Ding; Guojun Wang 001 (IEEE Trans. Dependable Secur. Comput., 2021)

Toward an Objective Measure of Developers' Cognitive Activities. - Zohreh Sharafi; Yu Huang 015; Kevin Leach; Westley Weimer (ACM Trans. Softw. Eng. Methodol., 2021)

CirFix: automatically repairing defects in hardware design code. - Hammad Ahmad; Yu Huang 015; Westley Weimer (ASPLOS, 2022)

Improving source-code representations to enhance search-based software repair. - Pemma Reiter; Antonio M. Espinoza; Adam Doupé; Ruoyu Wang 001; Westley Weimer; Stephanie Forrest (GECCO, 2022)

What Can Program Repair Learn From Code Review? - Madeline Endres; Pemma Reiter; Stephanie Forrest; Westley Weimer (APR@ICSE, 2022)

Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. - Madeline Endres; Kevin Boehnke; Westley Weimer (ICSE, 2022)

Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers. - Annie Li; Madeline Endres; Westley Weimer (ICSE (SEET), 2022)

An Analysis of Sex Differences in Computing Teaching Evaluations. - Priscila Santiesteban; Madeline Endres; Westley Weimer (GE@ICSE, 2022)

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). - Kevin Leach; Christopher Steven Timperley; Kevin Angstadt; Anh Nguyen-Tuong; Jason Hiser; Aaron Paulos; Partha P. Pal; Patrick Hurley; Carl Thomas; Jack W. Davidson; Stephanie Forrest; Claire Le Goues; et al. (ISSRE, 2022)

Digging into Semantics: Where Do Search-Based Software Repair Methods Search? - Hammad Ahmad; Padraic Cashin; Stephanie Forrest; Westley Weimer (PPSN (2), 2022)

LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery. - Hammad Ahmad; Colton Holoday; Ian Bertram; Kevin Angstadt; Zohreh Sharafi; Westley Weimer (PROMISE, 2022)

Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation. - Pemma Reiter; Hui Jun Tay; Westley Weimer; Adam Doupé; Ruoyu Wang 001; Stephanie Forrest (CoRR, 2022)

Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning. - Kevin Angstadt; Tommy Tracy II; Kevin Skadron; Jean-Baptiste Jeannin; Westley Weimer (IEEE Micro, 2022)

Seq2Parse: neurosymbolic parse error repair. - Georgios Sakkas; Madeline Endres; Philip J. Guo; Westley Weimer; Ranjit Jhala (Proc. ACM Program. Lang., 2022)

Eyes on Code: A Study on Developers' Code Navigation Strategies. - Zohreh Sharafi; Ian Bertram; Michael Flanagan; Westley Weimer (IEEE Trans. Software Eng., 2022)

Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402). - Madeline Endres; André Brechmann; Bonita Sharif; Westley Weimer; Janet Siegmund (Dagstuhl Reports, 2022)

How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. - Hammad Ahmad; Zachary Karas; Kimberly Diaz; Amir Kamil; Jean-Baptiste Jeannin; Westley Weimer (ICSE, 2023)

From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. - Kaia Newman; Madeline Endres; Westley Weimer; Brittany Johnson (ICSE, 2023)

A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. - Zihan Fang; Madeline Endres; Thomas Zimmermann 001; Denae Ford; Westley Weimer; Kevin Leach; Yu Huang 015 (ESEC/SIGSOFT FSE, 2023)

CirFix: Automated Hardware Repair and its Real-World Applications. - Priscila Santiesteban; Yu Huang 015; Westley Weimer; Hammad Ahmad (IEEE Trans. Software Eng., 2023)

Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search. - Joseph Renzullo; Westley Weimer; Stephanie Forrest (ACM Trans. Evol. Learn. Optim., 2023)

Combining Online Learning with Mutation-Based Stochastic Search to Repair Buggy Programs. - Joseph Renzullo; Westley Weimer; Stephanie Forrest (GECCO Companion, 2024)

Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment. - Hammad Ahmad; Madeline Endres; Kaia Newman; Priscila Santiesteban; Emma Shedden; Westley Weimer (ICSE, 2024)

High Expectations: An Observational Study of Programming and Cannabis Intoxication. - Wenxin He; Manasvi Parikh; Westley Weimer; Madeline Endres (ICSE, 2024)

Self-Organization in Computation & Chemistry: Return to AlChemy. - Cole Mathis; Devansh Patel; Westley Weimer; Stephanie Forrest (CoRR, 2024)

Reducing Malware Analysis Overhead With Coverings. - Michael Sandborn; Zach Stoebner; Westley Weimer; Stephanie Forrest; Ryan E. Dougherty; Jules White; Kevin Leach (IEEE Trans. Dependable Secur. Comput., 2024)

A Controlled Experiment in Age and Gender Bias When Reading Technical Articles in Software Engineering. - Anda Liang; Emerson R. Murphy-Hill; Westley Weimer; Yu Huang 015 (IEEE Trans. Software Eng., 2024)

Towards a Cognitive Model of Dynamic Debugging: Does Identifier Construction Matter? - Danniell Hu; Priscila Santiesteban; Madeline Endres; Westley Weimer (IEEE Trans. Software Eng., 2024)

Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation. - Pemma Reiter; Hui Jun Tay; Westley Weimer; Adam Doupé; Ruoyu Wang 001; Stephanie Forrest (IEEE Trans. Dependable Secur. Comput., 2025)

Training Spatial Ability in Virtual Reality. - Yiannos Demetriou; Manasvi Parikh; Sara Eskandari; Westley Weimer; Madeline Endres (CoRR, 2025)

Automated Program Repair: Emerging Trends Pose and Expose Problems for Benchmarks. - Joseph Renzullo; Pemma Reiter; Westley Weimer; Stephanie Forrest (ACM Comput. Surv., 2025)