| 2024 | GECCO | Combining Online Learning with Mutation-Based Stochastic Search to Repair Buggy Programs. | Joseph Renzullo, Westley Weimer, Stephanie Forrest |
| 2024 | ICSE | Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment. | Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, Westley Weimer |
| 2024 | ICSE | High Expectations: An Observational Study of Programming and Cannabis Intoxication. | Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres |
| 2023 | ICSE | 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 |
| 2023 | ICSE | From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. | Kaia Newman, Madeline Endres, Westley Weimer, Brittany Johnson |
| 2022 | ASPLOS | CirFix: automatically repairing defects in hardware design code. | Hammad Ahmad, Yu Huang, Westley Weimer |
| 2022 | GECCO | Improving source-code representations to enhance search-based software repair. | Pemma Reiter, Antonio M. Espinoza, Adam Doup, Ruoyu Wang, Westley Weimer, Stephanie Forrest |
| 2022 | ICSE | Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. | Madeline Endres, Kevin Boehnke, Westley Weimer |
| 2022 | ICSE | Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers. | Annie Li, Madeline Endres, Westley Weimer |
| 2022 | ICSE | An Analysis of Sex Differences in Computing Teaching Evaluations. | Priscila Santiesteban, Madeline Endres, Westley Weimer |
| 2022 | ISSRE | 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, Westley Weimer |
| 2022 | PPSN | Digging into Semantics: Where Do Search-Based Software Repair Methods Search? | Hammad Ahmad, Padraic Cashin, Stephanie Forrest, Westley Weimer |
| 2021 | ICSE | Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study. | Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer |
| 2021 | ITiCSE | The Early Bird Gets the Worm: Major Retention in CS3. | Fee Lia Christoph, Westley Weimer, Kevin Angstadt |
| 2021 | SIGCSE | An Analysis of Iterative and Recursive Problem Performance. | Madeline Endres, Westley Weimer, Amir Kamil |
| 2020 | ASPLOS | Accelerating Legacy String Kernels via Bounded Automata Learning. | Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer |
| 2020 | DSN | KShot: Live Kernel Patching with SMM and SGX. | Lei Zhou, Fengwei Zhang, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, Guojun Wang |
| 2020 | ESEM | Trustworthiness Perceptions in Code Review: An Eye-tracking Study. | Ian Bertram, Jack Hong, Yu Huang, Westley Weimer, Zohreh Sharafi |
| 2020 | ICSE | Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. | Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer |
| 2020 | ICSE | Neurological divide: an fMRI study of prose and code writing. | Ryan Krueger, Yu Huang, Xinyu Liu, Tyler Santander, Westley Weimer, Kevin Leach |
| 2020 | PLDI | Type error feedback via analytic program repair. | Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala |
| 2020 | SIGCSE | 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 |
| 2019 | ASPLOS | Debugging Support for Pattern-Matching Languages and Accelerators. | Matthew Casias, Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Westley Weimer |
| 2019 | ESORICS | Nighthawk: Transparent System Introspection from Ring -3. | Lei Zhou, Jidong Xiao, Kevin Leach, Westley Weimer, Fengwei Zhang, Guojun Wang |
| 2019 | ICSE | Distilling neural representations of data structure manipulation using fMRI and fNIRS. | Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, Westley Weimer |
| 2019 | ICSE | Evolutionary computation for improving malware analysis. | Kevin Leach, Ryan E. Dougherty, Chad Spensky, Stephanie Forrest, Westley Weimer |
| 2018 | ICSE | Neutrality and epistasis in program space. | Joseph Renzullo, Westley Weimer, Melanie E. Moses, Stephanie Forrest |
| 2018 | MICRO | ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata. | Kevin Angstadt, Arun Subramaniyan, Elaheh Sadredini, Reza Rahimi, Kevin Skadron, Westley Weimer, Reetuparna Das |
| 2017 | ICSE | Decoding the representation of code in the brain: an fMRI study of code review and expertise. | Benjamin Floyd, Tyler Santander, Westley Weimer |
| 2017 | RAID | Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage. | Kevin Leach, Fengwei Zhang, Westley Weimer |
| 2017 | TACAS | Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. | ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest |
| 2016 | ASPLOS | RAPID Programming of Pattern-Recognition Processors. | Kevin Angstadt, Westley Weimer, Kevin Skadron |
| 2016 | DSN | An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture. | Kate Highnam, Kevin Angstadt, Kevin Leach, Westley Weimer, Aaron Paulos, Patrick Hurley |
| 2016 | DSN | Trusted Software Repair for System Resiliency. | Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley |
| 2016 | GECCO | Genetic Improvement 2016 Chairs' Welcome & Organization. | Westley Weimer, Justyna Petke, David Robert White |
| 2016 | ICFP | Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). | Eric L. Seidel, Ranjit Jhala, Westley Weimer |
| 2015 | GECCO | 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 |
| 2015 | GECCO | Deep Parameter Optimisation. | Fan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke |
| 2015 | SSBSE | Generating Readable Unit Tests for Guava. | Ermira Daka, Jos Campos, Jonathan Dorn, Gordon Fraser, Westley Weimer |
| 2014 | ASPLOS | Post-compiler software optimization for reducing energy. | Eric M. Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, Westley Weimer |
| 2014 | EUROGP | Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. | Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer |
| 2014 | ICSE | Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches. | Matias Martinez, Westley Weimer, Martin Monperrus |
| 2014 | ICSE | Using dynamic analysis to generate disjunctive invariants. | ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest |
| 2013 | ASPLOS | Automated repair of binary and assembly programs for cooperating embedded devices. | Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest |
| 2013 | ICST | Leveraging Light-Weight Analyses to Aid Software Maintenance. | Zachary P. Fry, Westley Weimer |
| 2013 | SSBSE | Advances in Automated Program Repair and a Call to Arms. | Westley Weimer |
| 2012 | GECCO | Representations and operators for improving evolutionary software repair. | Claire Le Goues, Westley Weimer, Stephanie Forrest |
| 2012 | ICSE | Synthesizing API usage examples. | Raymond P. L. Buse, Westley Weimer |
| 2012 | ICSE | 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 |
| 2012 | ICSE | Using dynamic analysis to discover polynomial and array invariants. | ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest |
| 2012 | ISSTA | A human study of patch maintainability. | Zachary P. Fry, Bryan Landau, Westley Weimer |
| 2011 | OOPSLA | Benefits and barriers of user evaluation in software engineering research. | Raymond P. L. Buse, Caitlin Sadowski, Westley Weimer |
| 2010 | GECCO | Designing better fitness functions for automated program repair. | Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer |
| 2010 | ICSE | A modular and extensible macroprogramming compiler. | Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
| 2010 | ISSTA | Modeling consumer-perceived web application fault severities for testing. | Kinga Dobolyi, Westley Weimer |
| 2009 | DSN | Exploiting refactoring in formal verification. | Xiang Yin, John C. Knight, Westley Weimer |
| 2009 | GECCO | A genetic programming approach to automated software repair. | Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues |
| 2009 | ICSE | The road not taken: Estimating path execution frequency statically. | Raymond P. L. Buse, Westley Weimer |
| 2009 | ICSE | Automatically finding patches using genetic programming. | Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest |
| 2009 | ICST | Using Execution Paths to Evolve Software Patches. | ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest |
| 2009 | ISSRE | Harnessing Web-Based Application Similarities to Aid in Regression Testing. | Kinga Dobolyi, Westley Weimer |
| 2009 | PLDI | A decision procedure for subset constraints over regular languages. | Pieter Hooimeijer, Westley Weimer |
| 2009 | SENSYS | Macrodebugging: global views of distributed program execution. | Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
| 2009 | TACAS | Specification Mining with Few False Positives. | Claire Le Goues, Westley Weimer |
| 2008 | DSN | Automated duplicate detection for bug tracking systems. | Nicholas Jalbert, Westley Weimer |
| 2008 | ISSRE | Changing Java's Semantics for Handling Null Pointer Exceptions. | Kinga Dobolyi, Westley Weimer |
| 2008 | ISSTA | A metric for software readability. | Raymond P. L. Buse, Westley Weimer |
| 2008 | ISSTA | Automatic documentation inference for exceptions. | Raymond P. L. Buse, Westley Weimer |
| 2008 | SENSYS | MacroLab: a vector-based macroprogramming framework for cyber-physical systems. | Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
| 2008 | SAFECOMP | Formal Verification by Reverse Synthesis. | Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer |
| 2006 | GPCE | Patches as better bug reports. | Westley Weimer |
| 2005 | TACAS | Mining Temporal Specifications for Error Detection. | Westley Weimer, George C. Necula |
| 2004 | OOPSLA | Finding and preventing run-time error handling mistakes. | Westley Weimer, George C. Necula |
| 2003 | PLDI | CCured in the real world. | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
| 2002 | CAV | Temporal-Safety Proofs for Systems Code. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grgoire Sutre, Westley Weimer |
| 2002 | CC | CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
| 2002 | POPL | CCured: type-safe retrofitting of legacy code. | George C. Necula, Scott McPeak, Westley Weimer |
| 2002 | SAS | Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |
| 2000 | ASPLOS | OceanStore: An Architecture for Global-Scale Persistent Storage. | John Kubiatowicz, David Bindel, Yan Chen, Steven E. Czerwinski, Patrick R. Eaton, Dennis Geels, Ramakrishna Gummadi, Sean C. Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, Ben Y. Zhao |