Westley Weimer

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 84

Top Venues

CoRR

ICSE

IEEE Trans. Software Eng.

ESEC/SIGSOFT FSE

Publications

Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres
High Expectations: An Observational Study of Programming and Cannabis Intoxication. ICSE (2024)
Joseph Renzullo, Westley Weimer, Stephanie Forrest
Combining Online Learning with Mutation-Based Stochastic Search to Repair Buggy Programs. GECCO Companion (2024)
Joseph Renzullo, Pemma Reiter, Westley Weimer, Stephanie Forrest
Automated Program Repair: Emerging trends pose and expose problems for benchmarks. CoRR (2024)
Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden, Westley Weimer
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment. ICSE (2024)
Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres
High Expectations: An Observational Study of Programming and Cannabis Intoxication. CoRR (2024)
Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley Weimer, Kevin Leach, Yu Huang
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. ESEC/SIGSOFT FSE (2023)
Kaia Newman, Madeline Endres, Brittany Johnson, Westley Weimer
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. CoRR (2023)
Priscila Santiesteban, Yu Huang, Westley Weimer, Hammad Ahmad
CirFix: Automated Hardware Repair and its Real-World Applications. IEEE Trans. Software Eng. 49 (7) (2023)
Kaia Newman, Madeline Endres, Westley Weimer, Brittany Johnson
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. ICSE (2023)
Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms. ICSE (2023)
Joseph Renzullo, Westley Weimer, Stephanie Forrest
Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search. ACM Trans. Evol. Learn. Optim. 3 (4) (2023)
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
START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). ISSRE (2022)
Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer
Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning. IEEE Micro 42 (5) (2022)
Madeline Endres, Pemma Reiter, Stephanie Forrest, Westley Weimer
What Can Program Repair Learn From Code Review? APR@ICSE (2022)
Hammad Ahmad, Colton Holoday, Ian Bertram, Kevin Angstadt, Zohreh Sharafi, Westley Weimer
LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery. PROMISE (2022)
Annie Li, Madeline Endres, Westley Weimer
Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers. ICSE (SEET) (2022)
Hammad Ahmad, Yu Huang, Westley Weimer
CirFix: automatically repairing defects in hardware design code. ASPLOS (2022)
Hammad Ahmad, Padraic Cashin, Stephanie Forrest, Westley Weimer
Digging into Semantics: Where Do Search-Based Software Repair Methods Search? PPSN (2) (2022)
Priscila Santiesteban, Madeline Endres, Westley Weimer
An Analysis of Sex Differences in Computing Teaching Evaluations. GE@ICSE (2022)
Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang, Stephanie Forrest
Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation. CoRR (2022)
Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala
Seq2Parse: neurosymbolic parse error repair. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Pemma Reiter, Antonio M. Espinoza, Adam Doupé, Ruoyu Wang, Westley Weimer, Stephanie Forrest
Improving source-code representations to enhance search-based software repair. GECCO (2022)
Madeline Endres, Kevin Boehnke, Westley Weimer
Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. ICSE (2022)
Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, Janet Siegmund
Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402). Dagstuhl Reports 12 (10) (2022)
Zohreh Sharafi, Ian Bertram, Michael Flanagan, Westley Weimer
Eyes on Code: A Study on Developers' Code Navigation Strategies. IEEE Trans. Software Eng. 48 (5) (2022)
Madeline Endres, Madison Fansher, Priti Shah, Westley Weimer
To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability. ESEC/SIGSOFT FSE (2021)
Zachary Karas, Andrew Jahn, Westley Weimer, Yu Huang
Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity. ESEC/SIGSOFT FSE (2021)
Mohsen Ahmadi, Kevin Leach, Ryan E. Dougherty, Stephanie Forrest, Westley Weimer
MIMOSA: Reducing Malware Analysis Overhead with Coverings. CoRR (2021)
Joseph Renzullo, Westley Weimer, Stephanie Forrest
Multiplicative Weights Algorithms for Parallel Automated Software Repair. IPDPS (2021)
Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer
Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study. ICSE (2021)
Yu Huang, Hammad Ahmad, Stephanie Forrest, Westley Weimer
Applying Automated Program Repair to Dataflow Programming Languages. GI@ICSE (2021)
Fee Christoph, Westley Weimer, Kevin Angstadt
The Early Bird Gets the Worm: Major Retention in CS3. ITiCSE (2021)
Madeline Endres, Kevin Boehnke, Westley Weimer
Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation. CoRR (2021)
Lei Zhou, Fengwei Zhang, Jidong Xiao, Kevin Leach, Westley Weimer, Xuhua Ding, Guojun Wang
A Coprocessor-Based Introspection Framework Via Intel Management Engine. IEEE Trans. Dependable Secur. Comput. 18 (4) (2021)
Madeline Endres, Westley Weimer, Amir Kamil
An Analysis of Iterative and Recursive Problem Performance. SIGCSE (2021)
Zohreh Sharafi, Yu Huang, Kevin Leach, Westley Weimer
Toward an Objective Measure of Developers' Cognitive Activities. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer
Relating Reading, Visualization, and Coding forNew Programmers: A Neuroimaging Study. CoRR (2021)
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
Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Yu Huang, Kevin Leach, Zohreh Sharafi, Nicholas McKay, Tyler Santander, Westley Weimer
Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines. ESEC/SIGSOFT FSE (2020)
Yujun Qin, Samuel Gonzalez, Kevin Angstadt, Xiaowei Wang, Stephanie Forrest, Reetuparna Das, Kevin Leach, Westley Weimer
MARTINI: Memory Access Traces to Detect Attacks. CCSW@CCS (2020)
Sean Stapleton, Yashmeet Gambhir, Alexander LeClair, Zachary Eberhart, Westley Weimer, Kevin Leach, Yu Huang
A Human Study of Comprehension and Code Summarization. ICPC (2020)
Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala
Type error feedback via analytic program repair. PLDI (2020)
Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer
PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization. SIGCSE (2020)
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
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities. Artif. Life 26 (2) (2020)
Ian Bertram, Jack Hong, Yu Huang, Westley Weimer, Zohreh Sharafi
Trustworthiness Perceptions in Code Review: An Eye-tracking Study. ESEM (2020)
Ryan Krueger, Yu Huang, Xinyu Liu, Tyler Santander, Westley Weimer, Kevin Leach
Neurological divide: an fMRI study of prose and code writing. ICSE (2020)
Lei Zhou, Fengwei Zhang, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, Guojun Wang
KShot: Live Kernel Patching with SMM and SGX. DSN (2020)
Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer
Accelerating Legacy String Kernels via Bounded Automata Learning. ASPLOS (2020)
Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer
Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. ICSE (Workshops) (2020)
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
Genetic Improvement @ ICSE 2020. CoRR (2020)
Padraic Cashin, Carianne Martinez, Westley Weimer, Stephanie Forrest
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. ASE (2019)
Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, Westley Weimer
Distilling neural representations of data structure manipulation using fMRI and fNIRS. ICSE (2019)
ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. CoRR (2019)
Jonathan Dorn, Jeremy Lacomis, Westley Weimer, Stephanie Forrest
Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs. IEEE Trans. Software Eng. 45 (3) (2019)
Lei Zhou, Jidong Xiao, Kevin Leach, Westley Weimer, Fengwei Zhang, Guojun Wang
Nighthawk: Transparent System Introspection from Ring -3. ESORICS (2) (2019)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using Dynamic Analysis to Generate Disjunctive Invariants. CoRR (2019)
Kevin Angstadt, Jack Wadden, Westley Weimer, Kevin Skadron
Portable Programming with RAPID. IEEE Trans. Parallel Distributed Syst. 30 (4) (2019)
Matthew Casias, Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Westley Weimer
Debugging Support for Pattern-Matching Languages and Accelerators. ASPLOS (2019)
Westley Weimer
What goes on in your brain when you read and understand code? ICPC (2019)
Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer
InFix: Automatically Repairing Novice Program Inputs. ASE (2019)
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
The State and Future of Genetic Improvement. CoRR (2019)
Kevin Leach, Ryan E. Dougherty, Chad Spensky, Stephanie Forrest, Westley Weimer
Evolutionary computation for improving malware analysis. GI@ICSE (2019)
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
The State and Future of Genetic Improvement. ACM SIGSOFT Softw. Eng. Notes 44 (3) (2019)
Kevin Angstadt, Jack Wadden, Vinh Dang, Ted Xie, Dan Kramp, Westley Weimer, Mircea Stan, Kevin Skadron
MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem. IEEE Comput. Archit. Lett. 17 (1) (2018)
Joseph Renzullo, Westley Weimer, Melanie E. Moses, Stephanie Forrest
Neutrality and epistasis in program space. GI@ICSE (2018)
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
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities. CoRR (2018)
Kevin Angstadt, Arun Subramaniyan, Elaheh Sadredini, Reza Rahimi, Kevin Skadron, Westley Weimer, Reetuparna Das
ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata. MICRO (2018)
Eric L. Seidel, Ranjit Jhala, Westley Weimer
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). J. Funct. Program. 28 (2018)
Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer
Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation. IEEE Trans. Software Eng. 44 (6) (2018)
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis. CoRR (2017)
Benjamin Floyd, Tyler Santander, Westley Weimer
Decoding the representation of code in the brain: an fMRI study of code review and expertise. ICSE (2017)
Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, Ranjit Jhala
Learning to blame: localizing novice type errors with data-driven diagnosis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer
Clarifications on the Construction and Use of the ManyBugs Benchmark. IEEE Trans. Software Eng. 43 (11) (2017)
ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. TACAS (1) (2017)
Kevin Leach, Fengwei Zhang, Westley Weimer
Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage. RAID (2017)
Westley Weimer, Justyna Petke, David Robert White
Genetic Improvement 2016 Chairs' Welcome & Organization. GECCO (Companion) (2016)
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
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC (2016)
Kevin Angstadt, Westley Weimer, Kevin Skadron
RAPID Programming of Pattern-Recognition Processors. ASPLOS (2016)
Eric L. Seidel, Ranjit Jhala, Westley Weimer
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). ICFP (2016)
Kate Highnam, Kevin Angstadt, Kevin Leach, Westley Weimer, Aaron Paulos, Patrick Hurley
An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture. DSN Workshops (2016)
Kevin Leach, Chad Spensky, Westley Weimer, Fengwei Zhang
Towards Transparent Introspection. SANER (2016)
Eric L. Seidel, Ranjit Jhala, Westley Weimer
Dynamic Witnesses for Static Type Errors. CoRR (2016)
Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley
Trusted Software Repair for System Resiliency. DSN Workshops (2016)
Nicholas J. Napoli, Kevin Leach, Laura E. Barnes, Westley Weimer
A MapReduce framework to improve template matching uncertainty. BigComp (2016)
Fan Wu, Westley Weimer, Mark Harman, Yue Jia, Jens Krinke
Deep Parameter Optimisation. GECCO (2015)
Ermira Daka, José Campos, Jonathan Dorn, Gordon Fraser, Westley Weimer
Generating Readable Unit Tests for Guava. SSBSE (2015)
Jonathan Dorn, Connelly Barnes, Jason Lawrence, Westley Weimer
Towards Automatic Band-Limited Procedural Shaders. Comput. Graph. Forum 34 (7) (2015)
Ermira Daka, José Campos, Gordon Fraser, Jonathan Dorn, Westley Weimer
Modeling readability to improve unit tests. ESEC/SIGSOFT FSE (2015)
Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. 41 (12) (2015)
Eric M. Schulte, Westley Weimer, Stephanie Forrest
Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair. GECCO (Companion) (2015)
Adam Brady, Jason Lawrence, Pieter Peers, Westley Weimer
genBRDF: discovering new analytic BRDFs with genetic programming. ACM Trans. Graph. 33 (4) (2014)
Matias Martinez, Westley Weimer, Martin Monperrus
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches. ICSE Companion (2014)
Justyna Petke, Mark Harman, William B. Langdon, Westley Weimer
Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class. EuroGP (2014)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using dynamic analysis to generate disjunctive invariants. ICSE (2014)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. ACM Trans. Softw. Eng. Methodol. 23 (4) (2014)
Matias Martinez, Westley Weimer, Martin Monperrus
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches. CoRR (2014)
Eric M. Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, Stephanie Forrest
Software mutational robustness. Genet. Program. Evolvable Mach. 15 (3) (2014)
Eric M. Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, Westley Weimer
Post-compiler software optimization for reducing energy. ASPLOS (2014)
Westley Weimer, Zachary P. Fry, Stephanie Forrest
Leveraging program equivalence for adaptive program repair: Models and first results. ASE (2013)
Zachary P. Fry, Westley Weimer
Clustering static analysis defect reports to reduce maintenance costs. WCRE (2013)

Westley Weimer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Westley Weimer