Westley Weimer

172 papers A* 35A 29B 7Misc 2Journal 62Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automated Program Repair: Emerging Trends Pose and Expose Problems for Benchmarks. ACM Comput. Surv. Joseph Renzullo, Pemma Reiter, Westley Weimer, Stephanie Forrest
2025	J	`jnl`	Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation. IEEE Trans. Dependable Secur. Comput. Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang, Stephanie Forrest
2025	J	`jnl`	Prebiotic Functional Programs: Endogenous Selection in an Artificial Chemistry. CoRR Devansh Vimal, Cole Mathis, Westley Weimer, Stephanie Forrest
2025	J	`jnl`	The Evolution of Automated Software Repair. IEEE Trans. Software Eng. Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
2025	J	`jnl`	Training Spatial Ability in Virtual Reality. CoRR Yiannos Demetriou, Manasvi Parikh, Sara Eskandari, Westley Weimer, Madeline Endres
2024	J	`jnl`	A Controlled Experiment in Age and Gender Bias When Reading Technical Articles in Software Engineering. IEEE Trans. Software Eng. Anda Liang, Emerson R. Murphy-Hill, Westley Weimer, Yu Huang
2024	J	`jnl`	Automated Program Repair: Emerging trends pose and expose problems for benchmarks. CoRR Joseph Renzullo, Pemma Reiter, Westley Weimer, Stephanie Forrest
2024	A*	`conf`	Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment. ICSE Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, Westley Weimer
2024	—	`conf`	Combining Online Learning with Mutation-Based Stochastic Search to Repair Buggy Programs. GECCO Companion Joseph Renzullo, Westley Weimer, Stephanie Forrest
2024	A*	`conf`	High Expectations: An Observational Study of Programming and Cannabis Intoxication. ICSE Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres
2024	J	`jnl`	High Expectations: An Observational Study of Programming and Cannabis Intoxication. CoRR Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres
2024	J	`jnl`	Reducing Malware Analysis Overhead With Coverings. IEEE Trans. Dependable Secur. Comput. Michael Sandborn, Zach Stoebner, Westley Weimer, Stephanie Forrest, Ryan E. Dougherty, Jules White, Kevin Leach
2024	J	`jnl`	Self-Organization in Computation & Chemistry: Return to AlChemy. CoRR Cole Mathis, Devansh Patel, Westley Weimer, Stephanie Forrest
2024	J	`jnl`	Towards a Cognitive Model of Dynamic Debugging: Does Identifier Construction Matter? IEEE Trans. Software Eng. Danniell Hu, Priscila Santiesteban, Madeline Endres, Westley Weimer
2023	—	`conf`	A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. ESEC/SIGSOFT FSE Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley Weimer, Kevin Leach, Yu Huang
2023	J	`jnl`	CirFix: Automated Hardware Repair and its Real-World Applications. IEEE Trans. Software Eng. Priscila Santiesteban, Yu Huang, Westley Weimer, Hammad Ahmad
2023	J	`jnl`	Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search. ACM Trans. Evol. Learn. Optim. Joseph Renzullo, Westley Weimer, Stephanie Forrest
2023	A*	`conf`	From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. ICSE Kaia Newman, Madeline Endres, Westley Weimer, Brittany Johnson
2023	J	`jnl`	From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. CoRR Kaia Newman, Madeline Endres, Brittany Johnson, Westley Weimer
2023	A*	`conf`	How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. ICSE Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer
2022	—	`conf`	An Analysis of Sex Differences in Computing Teaching Evaluations. GE@ICSE Priscila Santiesteban, Madeline Endres, Westley Weimer
2022	J	`jnl`	Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation. CoRR Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang, Stephanie Forrest
2022	A*	`conf`	CirFix: automatically repairing defects in hardware design code. ASPLOS Hammad Ahmad, Yu Huang, Westley Weimer
2022	—	`conf`	Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers. ICSE (SEET) Annie Li, Madeline Endres, Westley Weimer
2022	—	`conf`	Digging into Semantics: Where Do Search-Based Software Repair Methods Search? PPSN (2) Hammad Ahmad, Padraic Cashin, Stephanie Forrest, Westley Weimer
2022	J	`jnl`	Eyes on Code: A Study on Developers' Code Navigation Strategies. IEEE Trans. Software Eng. Zohreh Sharafi, Ian Bertram, Michael Flanagan, Westley Weimer
2022	J	`jnl`	Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402). Dagstuhl Reports Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, Janet Siegmund
2022	A*	`conf`	Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. ICSE Madeline Endres, Kevin Boehnke, Westley Weimer
2022	A	`conf`	Improving source-code representations to enhance search-based software repair. GECCO Pemma Reiter, Antonio M. Espinoza, Adam Doupé, Ruoyu Wang, Westley Weimer, Stephanie Forrest
2022	—	`conf`	LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery. PROMISE Hammad Ahmad, Colton Holoday, Ian Bertram, Kevin Angstadt, Zohreh Sharafi, Westley Weimer
2022	A	`conf`	START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). ISSRE 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	J	`jnl`	Seq2Parse: neurosymbolic parse error repair. Proc. ACM Program. Lang. Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala
2022	J	`jnl`	Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning. IEEE Micro Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer
2022	—	`conf`	What Can Program Repair Learn From Code Review? APR@ICSE Madeline Endres, Pemma Reiter, Stephanie Forrest, Westley Weimer
2021	J	`jnl`	A Coprocessor-Based Introspection Framework Via Intel Management Engine. IEEE Trans. Dependable Secur. Comput. Lei Zhou, Fengwei Zhang, Jidong Xiao, Kevin Leach, Westley Weimer, Xuhua Ding, Guojun Wang
2021	A	`conf`	An Analysis of Iterative and Recursive Problem Performance. SIGCSE Madeline Endres, Westley Weimer, Amir Kamil
2021	—	`conf`	Applying Automated Program Repair to Dataflow Programming Languages. GI@ICSE Yu Huang, Hammad Ahmad, Stephanie Forrest, Westley Weimer
2021	—	`conf`	Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity. ESEC/SIGSOFT FSE Zachary Karas, Andrew Jahn, Westley Weimer, Yu Huang
2021	J	`jnl`	Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. CoRR Madeline Endres, Kevin Boehnke, Westley Weimer
2021	J	`jnl`	MIMOSA: Reducing Malware Analysis Overhead with Coverings. CoRR Mohsen Ahmadi, Kevin Leach, Ryan E. Dougherty, Stephanie Forrest, Westley Weimer
2021	A	`conf`	Multiplicative Weights Algorithms for Parallel Automated Software Repair. IPDPS Joseph Renzullo, Westley Weimer, Stephanie Forrest
2021	A*	`conf`	Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study. ICSE Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer
2021	J	`jnl`	Relating Reading, Visualization, and Coding forNew Programmers: A Neuroimaging Study. CoRR Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer
2021	—	`conf`	The Early Bird Gets the Worm: Major Retention in CS3. ITiCSE (1) Fee Lia Christoph, Westley Weimer, Kevin Angstadt
2021	—	`conf`	To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability. ESEC/SIGSOFT FSE Madeline Endres, Madison Fansher, Priti Shah, Westley Weimer
2021	J	`jnl`	Toward an Objective Measure of Developers' Cognitive Activities. ACM Trans. Softw. Eng. Methodol. Zohreh Sharafi, Yu Huang, Kevin Leach, Westley Weimer
2020	A	`conf`	A Human Study of Comprehension and Code Summarization. ICPC Sean Stapleton, Yashmeet Gambhir, Alexander LeClair, Zachary Eberhart, Westley Weimer, Kevin Leach, Yu Huang
2020	A*	`conf`	Accelerating Legacy String Kernels via Bounded Automata Learning. ASPLOS Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer
2020	—	`conf`	Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines. ESEC/SIGSOFT FSE Yu Huang, Kevin Leach, Zohreh Sharafi, Nicholas McKay, Tyler Santander, Westley Weimer
2020	J	`jnl`	Genetic Improvement @ ICSE 2020. CoRR William B. Langdon, Westley Weimer, Justyna Petke, Erik M. Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael C. Gerten
2020	J	`jnl`	Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes William B. Langdon, Westley Weimer, Justyna Petke, Erik M. Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael C. Gerten
2020	A	`conf`	KShot: Live Kernel Patching with SMM and SGX. DSN Lei Zhou, Fengwei Zhang, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, Guojun Wang
2020	—	`conf`	MARTINI: Memory Access Traces to Detect Attacks. CCSW Yujun Qin, Samuel Gonzalez, Kevin Angstadt, Xiaowei Wang, Stephanie Forrest, Reetuparna Das, Kevin Leach, Westley Weimer
2020	A*	`conf`	Neurological divide: an fMRI study of prose and code writing. ICSE Ryan Krueger, Yu Huang, Xinyu Liu, Tyler Santander, Westley Weimer, Kevin Leach
2020	A	`conf`	PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization. SIGCSE Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer
2020	—	`conf`	Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. ICSE (Workshops) Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer
2020	J	`jnl`	The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities. Artif. Life 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, Antoine Cully, Stéphane Doncieux, Fred C. Dyer, Kai Olav Ellefsen, Robert Feldt, Stephan Fischer, Stephanie Forrest, Antoine Frénoy, Christian Gagné, Léni K. Le Goff, Laura M. Grabowski, Babak Hodjat, Frank Hutter, Laurent Keller, Carole Knibbe, Peter Krcah, Richard E. Lenski, Hod Lipson, Robert MacCurdy, Carlos Maestre, Risto Miikkulainen, Sara Mitri, David E. Moriarty, Jean-Baptiste Mouret, Anh Nguyen, Charles Ofria, Marc Parizeau, David P. Parsons, Robert T. Pennock, William F. Punch, Thomas S. Ray, Marc Schoenauer, Eric Schulte, Karl Sims, Kenneth O. Stanley, François Taddei, Danesh Tarapore, Simon Thibault, Richard A. Watson, Westley Weimer, Jason Yosinski
2020	A	`conf`	Trustworthiness Perceptions in Code Review: An Eye-tracking Study. ESEM Ian Bertram, Jack Hong, Yu Huang, Westley Weimer, Zohreh Sharafi
2020	A*	`conf`	Type error feedback via analytic program repair. PLDI Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala
2019	J	`jnl`	Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs. IEEE Trans. Software Eng. Jonathan Dorn, Jeremy Lacomis, Westley Weimer, Stephanie Forrest
2019	J	`jnl`	Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. CoRR ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
2019	A*	`conf`	Debugging Support for Pattern-Matching Languages and Accelerators. ASPLOS Matthew Casias, Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Westley Weimer
2019	A*	`conf`	Distilling neural representations of data structure manipulation using fMRI and fNIRS. ICSE Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, Westley Weimer
2019	—	`conf`	Evolutionary computation for improving malware analysis. GI@ICSE Kevin Leach, Ryan E. Dougherty, Chad Spensky, Stephanie Forrest, Westley Weimer
2019	A*	`conf`	InFix: Automatically Repairing Novice Program Inputs. ASE Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer
2019	—	`conf`	Nighthawk: Transparent System Introspection from Ring -3. ESORICS (2) Lei Zhou, Jidong Xiao, Kevin Leach, Westley Weimer, Fengwei Zhang, Guojun Wang
2019	J	`jnl`	Portable Programming with RAPID. IEEE Trans. Parallel Distributed Syst. Kevin Angstadt, Jack Wadden, Westley Weimer, Kevin Skadron
2019	—	`ed.`	Proceedings of the 6th International Workshop on Genetic Improvement, GI@ICSE 2019, Montreal, Quebec, Canada, May 28, 2019. GI@ICSE Justyna Petke, Shin Hwei Tan, William B. Langdon, Westley Weimer
2019	J	`jnl`	The State and Future of Genetic Improvement. CoRR 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, Gabin An
2019	J	`jnl`	The State and Future of Genetic Improvement. ACM SIGSOFT Softw. Eng. Notes 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, Gabin An
2019	A*	`conf`	Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. ASE Padraic Cashin, Carianne Martinez, Westley Weimer, Stephanie Forrest
2019	J	`jnl`	Using Dynamic Analysis to Generate Disjunctive Invariants. CoRR ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2019	A	`conf`	What goes on in your brain when you read and understand code? ICPC Westley Weimer
2018	A*	`conf`	ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata. MICRO Kevin Angstadt, Arun Subramaniyan, Elaheh Sadredini, Reza Rahimi, Kevin Skadron, Westley Weimer, Reetuparna Das
2018	J	`jnl`	Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). J. Funct. Program. Eric L. Seidel, Ranjit Jhala, Westley Weimer
2018	J	`jnl`	MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem. IEEE Comput. Archit. Lett. Kevin Angstadt, Jack Wadden, Vinh Dang, Ted Xie, Dan Kramp, Westley Weimer, Mircea Stan, Kevin Skadron
2018	—	`conf`	Neutrality and epistasis in program space. GI@ICSE Joseph Renzullo, Westley Weimer, Melanie E. Moses, Stephanie Forrest
2018	—	`ed.`	Proceedings of the 4th International Genetic Improvement Workshop, GI@ICSE 2018, Gothenburg, Sweden, June 2, 2018 GI@ICSE Justyna Petke, Kathryn T. Stolee, William B. Langdon, Westley Weimer
2018	J	`jnl`	Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. IEEE Trans. Software Eng. Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer
2018	J	`jnl`	The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities. CoRR Joel Lehman, Jeff Clune, Dusan Misevic, Christoph Adami, Lee Altenberg, Julie Beaulieu, Peter J. Bentley, Samuel Bernard, Guillaume Beslon, David M. Bryson, Patryk Chrabaszcz, Nick Cheney, Antoine Cully, Stéphane Doncieux, Fred C. Dyer, Kai Olav Ellefsen, Robert Feldt, Stephan Fischer, Stephanie Forrest, Antoine Frénoy, Christian Gagné, Leni K. Le Goff, Laura M. Grabowski, Babak Hodjat, Frank Hutter, Laurent Keller, Carole Knibbe, Peter Krcah, Richard E. Lenski, Hod Lipson, Robert MacCurdy, Carlos Maestre, Risto Miikkulainen, Sara Mitri, David E. Moriarty, Jean-Baptiste Mouret, Anh Nguyen, Charles Ofria, Marc Parizeau, David P. Parsons, Robert T. Pennock, William F. Punch, Thomas S. Ray, Marc Schoenauer, Eric Schulte, Karl Sims, Kenneth O. Stanley, François Taddei, Danesh Tarapore, Simon Thibault, Westley Weimer, Richard A. Watson, Jason Yosinski
2017	J	`jnl`	Clarifications on the Construction and Use of the ManyBugs Benchmark. IEEE Trans. Software Eng. Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer
2017	—	`conf`	Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. TACAS (1) ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
2017	A*	`conf`	Decoding the representation of code in the brain: an fMRI study of code review and expertise. ICSE Benjamin Floyd, Tyler Santander, Westley Weimer
2017	J	`jnl`	Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis. CoRR Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala
2017	J	`jnl`	Learning to blame: localizing novice type errors with data-driven diagnosis. Proc. ACM Program. Lang. Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala
2017	A	`conf`	Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage. RAID Kevin Leach, Fengwei Zhang, Westley Weimer
2016	—	`conf`	A MapReduce framework to improve template matching uncertainty. BigComp Nicholas J. Napoli, Kevin Leach, Laura E. Barnes, Westley Weimer
2016	—	`conf`	An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture. DSN Workshops Kate Highnam, Kevin Angstadt, Kevin Leach, Westley Weimer, Aaron Paulos, Patrick Hurley
2016	—	`conf`	Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC 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, Stephanie Forrest
2016	J	`jnl`	Dynamic Witnesses for Static Type Errors. CoRR Eric L. Seidel, Ranjit Jhala, Westley Weimer
2016	A	`conf`	Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). ICFP Eric L. Seidel, Ranjit Jhala, Westley Weimer
2016	—	`conf`	Genetic Improvement 2016 Chairs' Welcome & Organization. GECCO (Companion) Westley Weimer, Justyna Petke, David Robert White
2016	A*	`conf`	RAPID Programming of Pattern-Recognition Processors. ASPLOS Kevin Angstadt, Westley Weimer, Kevin Skadron
2016	A	`conf`	Towards Transparent Introspection. SANER Kevin Leach, Chad Spensky, Westley Weimer, Fengwei Zhang
2016	—	`conf`	Trusted Software Repair for System Resiliency. DSN Workshops Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley
2015	A	`conf`	Deep Parameter Optimisation. GECCO Fan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke
2015	B	`conf`	Generating Readable Unit Tests for Guava. SSBSE Ermira Daka, José Campos, Jonathan Dorn, Gordon Fraser, Westley Weimer
2015	—	`conf`	Modeling readability to improve unit tests. ESEC/SIGSOFT FSE Ermira Daka, José Campos, Gordon Fraser, Jonathan Dorn, Westley Weimer
2015	—	`conf`	Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair. GECCO (Companion) Eric M. Schulte, Westley Weimer, Stephanie Forrest
2015	J	`jnl`	The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer
2015	J	`jnl`	Towards Automatic Band-Limited Procedural Shaders. Comput. Graph. Forum Jonathan Dorn, Connelly Barnes, Jason Lawrence, Westley Weimer
2014	J	`jnl`	DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. ACM Trans. Softw. Eng. Methodol. ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2014	J	`jnl`	Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches. CoRR Matias Martinez, Westley Weimer, Martin Monperrus
2014	—	`conf`	Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches. ICSE Companion Matias Martinez, Westley Weimer, Martin Monperrus
2014	A*	`conf`	Post-compiler software optimization for reducing energy. ASPLOS Eric M. Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, Westley Weimer
2014	J	`jnl`	Software mutational robustness. Genet. Program. Evolvable Mach. Eric M. Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, Stephanie Forrest
2014	B	`conf`	Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. EuroGP Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer
2014	A*	`conf`	Using dynamic analysis to generate disjunctive invariants. ICSE ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2014	J	`jnl`	genBRDF: discovering new analytic BRDFs with genetic programming. ACM Trans. Graph. Adam Brady, Jason Lawrence, Pieter Peers, Westley Weimer
2013	B	`conf`	Advances in Automated Program Repair and a Call to Arms. SSBSE Westley Weimer
2013	A*	`conf`	Automated repair of binary and assembly programs for cooperating embedded devices. ASPLOS Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest
2013	—	`conf`	Clustering static analysis defect reports to reduce maintenance costs. WCRE Zachary P. Fry, Westley Weimer
2013	J	`jnl`	Current challenges in automatic software repair. Softw. Qual. J. Claire Le Goues, Stephanie Forrest, Westley Weimer
2013	—	`conf`	Genetic programming for Reverse Engineering. WCRE Mark Harman, William B. Langdon, Westley Weimer
2013	A	`conf`	Leveraging Light-Weight Analyses to Aid Software Maintenance. ICST Zachary P. Fry, Westley Weimer
2013	A*	`conf`	Leveraging program equivalence for adaptive program repair: Models and first results. ASE Westley Weimer, Zachary P. Fry, Stephanie Forrest
2012	A	`conf`	A human study of patch maintainability. ISSTA Zachary P. Fry, Bryan Landau, Westley Weimer
2012	A*	`conf`	A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. ICSE Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer
2012	J	`jnl`	CCured: type-safe retrofitting of legacy code. ACM SIGPLAN Notices George C. Necula, Scott McPeak, Westley Weimer
2012	J	`jnl`	Fault Localization Using Textual Similarities CoRR Zachary P. Fry, Westley Weimer
2012	J	`jnl`	GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Software Eng. Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
2012	J	`jnl`	Measuring Code Quality to Improve Specification Mining. IEEE Trans. Software Eng. Claire Le Goues, Westley Weimer
2012	A	`conf`	Representations and operators for improving evolutionary software repair. GECCO Claire Le Goues, Westley Weimer, Stephanie Forrest
2012	J	`jnl`	Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology CoRR Eric M. Schulte, Zachary P. Fry, Ethan Fast, Stephanie Forrest, Westley Weimer
2012	J	`jnl`	StrSolve: solving string constraints lazily. Autom. Softw. Eng. Pieter Hooimeijer, Westley Weimer
2012	A*	`conf`	Synthesizing API usage examples. ICSE Raymond P. L. Buse, Westley Weimer
2012	A*	`conf`	Using dynamic analysis to discover polynomial and array invariants. ICSE ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2011	J	`jnl`	Automating regression testing using web-based application similarities. Int. J. Softw. Tools Technol. Transf. Kinga Dobolyi, Elizabeth Soechting, Westley Weimer
2011	A	`conf`	Benefits and barriers of user evaluation in software engineering research. OOPSLA Raymond P. L. Buse, Caitlin Sadowski, Westley Weimer
2011	J	`jnl`	Genetic programming for shader simplification. ACM Trans. Graph. Pitchaya Sitthi-amorn, Nicholas Modly, Westley Weimer, Jason Lawrence
2011	J	`jnl`	Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller
2010	—	`conf`	A human study of fault localization accuracy. ICSM Zachary P. Fry, Westley Weimer
2010	—	`conf`	A modular and extensible macroprogramming compiler. SESENA@ICSE Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
2010	A*	`conf`	Automated program repair through the evolution of assembly code. ASE Eric M. Schulte, Stephanie Forrest, Westley Weimer
2010	J	`jnl`	Automatic program repair with evolutionary computation. Commun. ACM Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen
2010	A*	`conf`	Automatically documenting program changes. ASE Raymond P. L. Buse, Westley Weimer
2010	A	`conf`	Designing better fitness functions for automated program repair. GECCO Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer
2010	J	`jnl`	Learning a Metric for Code Readability. IEEE Trans. Software Eng. Raymond P. L. Buse, Westley Weimer
2010	A	`conf`	Modeling consumer-perceived web application fault severities for testing. ISSTA Kinga Dobolyi, Westley Weimer
2010	A*	`conf`	Solving string constraints lazily. ASE Pieter Hooimeijer, Westley Weimer
2010	—	`conf`	The case for software evolution. FoSER Claire Le Goues, Stephanie Forrest, Westley Weimer
2009	A*	`conf`	A decision procedure for subset constraints over regular languages. PLDI Pieter Hooimeijer, Westley Weimer
2009	A	`conf`	A genetic programming approach to automated software repair. GECCO Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues
2009	A*	`conf`	Automatically finding patches using genetic programming. ICSE Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest
2009	A	`conf`	Exploiting refactoring in formal verification. DSN Xiang Yin, John C. Knight, Westley Weimer
2009	A	`conf`	Harnessing Web-Based Application Similarities to Aid in Regression Testing. ISSRE Kinga Dobolyi, Westley Weimer
2009	Misc	`conf`	Macrodebugging: global views of distributed program execution. SenSys Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
2009	A	`conf`	Specification Mining with Few False Positives. TACAS Claire Le Goues, Westley Weimer
2009	—	`conf`	Syntactic regression testing for tree-structured output. WSE Elizabeth Soechting, Kinga Dobolyi, Westley Weimer
2009	A*	`conf`	The road not taken: Estimating path execution frequency statically. ICSE Raymond P. L. Buse, Westley Weimer
2009	—	`conf`	Using Execution Paths to Evolve Software Patches. ICST Workshops ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest
2008	A	`conf`	A metric for software readability. ISSTA Raymond P. L. Buse, Westley Weimer
2008	A	`conf`	Automated duplicate detection for bug tracking systems. DSN Nicholas Jalbert, Westley Weimer
2008	A	`conf`	Automatic documentation inference for exceptions. ISSTA Raymond P. L. Buse, Westley Weimer
2008	A	`conf`	Changing Java's Semantics for Handling Null Pointer Exceptions. ISSRE Kinga Dobolyi, Westley Weimer
2008	J	`jnl`	Exceptional situations and program reliability. ACM Trans. Program. Lang. Syst. Westley Weimer, George C. Necula
2008	B	`conf`	Formal Verification by Reverse Synthesis. SAFECOMP Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer
2008	Misc	`conf`	MacroLab: a vector-based macroprogramming framework for cyber-physical systems. SenSys Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
2008	J	`jnl`	Privately Finding Specifications. IEEE Trans. Software Eng. Westley Weimer, Nina Mishra
2008	—	`conf`	Talking to strangers without taking their candy: isolating proxied content. SNS Adrienne Felt, Pieter Hooimeijer, David Evans, Westley Weimer
2007	A*	`conf`	Modeling bug report quality. ASE Pieter Hooimeijer, Westley Weimer
2006	—	`conf`	Exception-Handling Bugs in Java and a Language Extension to Avoid Them. Advanced Topics in Exception Handling Techniques Westley Weimer
2006	B	`conf`	Patches as better bug reports. GPCE Westley Weimer
2005	J	`jnl`	CCured: type-safe retrofitting of legacy software. ACM Trans. Program. Lang. Syst. George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
2005	A	`conf`	Mining Temporal Specifications for Error Detection. TACAS Westley Weimer, George C. Necula
2004	A	`conf`	Finding and preventing run-time error handling mistakes. OOPSLA Westley Weimer, George C. Necula
2003	A*	`conf`	CCured in the real world. PLDI Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
2002	A*	`conf`	CCured: type-safe retrofitting of legacy code. POPL George C. Necula, Scott McPeak, Westley Weimer
2002	B	`conf`	CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. CC George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
2002	B	`conf`	Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
2002	A*	`conf`	Temporal-Safety Proofs for Systems Code. CAV Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
2000	A*	`conf`	OceanStore: An Architecture for Global-Scale Persistent Storage. ASPLOS 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