Claire Le Goues
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
64
Venues
20
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
64 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NDSS | Idioms: A Simple and Effective Framework for Turbo-Charging Local Neural Decompilation with Well-Defined Types. | Luke Dramko, Claire Le Goues, Edward J. Schwartz |
| 2025 | AST | Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning. | Kush Jain, Kiran Kate, Jason Tsay, Claire Le Goues, Martin Hirzel |
| 2025 | DIMVA | Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning-Based Decompilation Improvement. | Luke Dramko, Deniz Blni-Turgut, Claire Le Goues, Edward J. Schwartz |
| 2025 | DSN | A Human Study of Automatically Generated Decompiler Annotations. | Yuwei Yang, Skyler Grandel, Jeremy Lacomis, Edward J. Schwartz, Bogdan Vasilescu, Claire Le Goues, Kevin Leach |
| 2025 | ICSE | Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. | Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues |
| 2025 | ICSE | LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes. | Shiyao Zhou, Jincheng Wang, He Ye, Hao Zhou, Claire Le Goues, Xiapu Luo |
| 2024 | DSN | Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems. | Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman |
| 2024 | ICRA | Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. | Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher Steven Timperley |
| 2024 | ICSE | ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. | Tobias Drschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues |
| 2024 | ICSE | Automated Program Repair, What Is It Good For? Not Absolutely Nothing! | Hadeel Eladawy, Claire Le Goues, Yuriy Brun |
| 2024 | ICSE | Large Language Models for Test-Free Fault Localization. | Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn |
| 2023 | ISSRE | Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. | Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce |
| 2022 | CC | Making no-fuss compiler fuzzing effective. | Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues |
| 2022 | ICSA | ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. | Christopher Steven Timperley, Tobias Drschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues |
| 2022 | ICSA | ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. | Christopher Steven Timperley, Tobias Drschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues |
| 2022 | ICSE | VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. | Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues |
| 2022 | ICSE | Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. | Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues |
| 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 |
| 2021 | DSN | The Importance of Safety Invariants in Robustness Testing Autonomy Systems. | Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman |
| 2021 | ICSE | SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | ICSE | Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | ICST | Simulation for Robotics Test Automation: Developer Perspectives. | Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley |
| 2021 | MSR | An Empirical Study of OSS-Fuzz Bugs. | Zhen Yu Ding, Claire Le Goues |
| 2020 | DSN | Robustness Inside Out Testing. | Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric M. Sample, Philip Koopman, Michael Wagner, Claire Le Goues |
| 2020 | ICRA | Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness. | Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, Claire Le Goues |
| 2020 | ICSE | Tailoring programs for static analysis via program transformation. | Rijnard van Tonder, Claire Le Goues |
| 2020 | ICST | A Study on Challenges of Testing Robotic Systems. | Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley |
| 2020 | MSR | Empirical Study of Restarted and Flaky Builds on Travis CI. | Thomas Durieux, Claire Le Goues, Michael Hilton, Rui Abreu |
| 2019 | ICSE | Leveraging program invariants to promote population diversity in search-based automatic program repair. | Zhen Yu Ding, Yiwei Lyu, Christopher Steven Timperley, Claire Le Goues |
| 2019 | ICSE | Towards s/engineer/bot: principles for program repair bots. | Rijnard van Tonder, Claire Le Goues |
| 2019 | MEMOCODE | Modeling observability in adaptive systems to defend against advanced persistent threats. | Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan |
| 2019 | MSR | A panel data set of cryptocurrency development activity on GitHub. | Rijnard van Tonder, Asher Trockman, Claire Le Goues |
| 2019 | PLDI | Lightweight multi-language syntax transformation with parser parser combinators. | Rijnard van Tonder, Claire Le Goues |
| 2018 | AAAI | Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code. | Jeremy Lacomis, Alan Jaffe, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu |
| 2018 | GECCO | A novel fitness function for automated program repair based on source code checkpoints. | Eduardo Faria de Souza, Claire Le Goues, Celso Gonalves Camilo-Junior |
| 2018 | ICSE | A turing test for genetic improvement. | Afsoon Afzal, Jeremy Lacomis, Claire Le Goues, Christopher Steven Timperley |
| 2018 | ICSE | Robustness testing of autonomy software. | Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman |
| 2018 | ICSE | Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. | Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues |
| 2018 | ICSE | Overfitting in semantics-based automated program repair. | Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues |
| 2018 | ICSE | BugZoo: a platform for studying software bugs. | Christopher Steven Timperley, Susan Stepney, Claire Le Goues |
| 2018 | ICSE | Static automated program repair for heap properties. | Rijnard van Tonder, Claire Le Goues |
| 2018 | ICST | Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? | Christopher Steven Timperley, Afsoon Afzal, Deborah S. Katz, Jam Marcos Hernandez, Claire Le Goues |
| 2018 | MSR | A study on the use of IDE features for debugging. | Afsoon Afzal, Claire Le Goues |
| 2018 | MSR | Common statement kind changes to inform automatic program repair. | Mauricio Soto, Claire Le Goues |
| 2018 | SEFM | Cross-Architecture Lifter Synthesis. | Rijnard van Tonder, Claire Le Goues |
| 2017 | ISSTA | JFIX: semantics-based repair of Java programs via symbolic PathFinder. | Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser |
| 2017 | MSR | Analyzing the impact of social attributes on commit integration success. | Mauricio Soto, Zack Coker, Claire Le Goues |
| 2017 | SSBSE | An Investigation into the Use of Mutation Analysis for Automated Program Repair. | Christopher Steven Timperley, Susan Stepney, Claire Le Goues |
| 2016 | DSN | Trusted Software Repair for System Resiliency. | Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley |
| 2016 | ISSTA | A learning-to-rank based fault localization approach using likely invariants. | Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske |
| 2016 | MSR | Examining programmer practices for locally handling exceptions. | Mary Beth Kery, Claire Le Goues, Brad A. Myers |
| 2016 | MSR | A deeper look into bug fixes: patterns, replacements, deletions, and additions. | Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo |
| 2016 | SSBSE | Improved Crossover Operators for Genetic Programming for Program Repair. | Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, Celso G. Camilo-Junior |
| 2015 | ACSAC | Evaluating the Flexibility of the Java Sandbox. | Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, Joshua Sunshine |
| 2015 | ICSE | SASS: Self-Adaptation Using Stochastic Search. | Zack Coker, David Garlan, Claire Le Goues |
| 2012 | GECCO | Evolutionary software repair. | Stephanie Forrest, Claire Le Goues |
| 2012 | GECCO | Representations and operators for improving evolutionary software repair. | Claire Le Goues, Westley Weimer, Stephanie Forrest |
| 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 |
| 2011 | SEFM | The Boogie Verification Debugger (Tool Paper). | Claire Le Goues, K. Rustan M. Leino, Michal Moskal |
| 2010 | GECCO | Designing better fitness functions for automated program repair. | Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer |
| 2009 | GECCO | A genetic programming approach to automated software repair. | Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues |
| 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 | TACAS | Specification Mining with Few False Positives. | Claire Le Goues, Westley Weimer |