Claire Le Goues

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 115

Top Venues

Publications

Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher Steven Timperley
Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. ICRA (2024)
Aidan Z. H. Yang, Haoye Tian, He Ye, Ruben Martins, Claire Le Goues
Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models. CoRR (2024)
Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. ICSE (2024)
Claire Le Goues, Sebastian Elbaum, David Anthony, Z. Berkay Celik, Mauricio Castillo-Effen, Nikolaus Correll, Pooyan Jamshidi, Morgan Quigley, Trenton Tabor, Qi Zhu
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics. CoRR (2024)
Daniel Ramos, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn
Large Language Models for Test-Free Fault Localization. ICSE (2024)
Harrison Green, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu
STRIDE: Simple Type Recognition In Decompiled Executables. CoRR (2024)
Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Luke Dramko, Jeremy Lacomis, Edward J. Schwartz, Bogdan Vasilescu, Claire Le Goues
A Taxonomy of C Decompiler Fidelity Issues. USENIX Security Symposium (2024)
Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin
Multi-Objective Fine-Tuning for Enhanced Program Repair with LLMs. CoRR (2024)
David Gray Widder, Claire Le Goues
What is a "bug"? On subjectivity, epistemic power, and implications for software research. CoRR (2024)
Hadeel Eladawy, Claire Le Goues, Yuriy Brun
Automated Program Repair, What Is It Good For? Not Absolutely Nothing! ICSE (2024)
Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. CoRR (2024)
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. ISSRE (2023)
He Ye, Zimin Chen, Claire Le Goues
PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection. CoRR (2023)
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
MELT: Mining Effective Lightweight Transformations from Pull Requests. ASE (2023)
Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn
CAT-LM Training Language Models on Aligned Code And Tests. ASE (2023)
Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn
CAT-LM: Training Language Models on Aligned Code And Tests. CoRR (2023)
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. CoRR (2023)
He Ye, Zimin Chen, Claire Le Goues
PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types. ASE (2023)
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
MELT: Mining Effective Lightweight Transformations from Pull Requests. CoRR (2023)
Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski
Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
Contextual Predictive Mutation Testing. ESEC/SIGSOFT FSE (2023)
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
Contextual Predictive Mutation Testing. CoRR (2023)
Aidan Z. H. Yang, Ruben Martins, Claire Le Goues, Vincent J. Hellendoorn
Large Language Models for Test-Free Fault Localization. CoRR (2023)
Luke Dramko, Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Graham Neubig, Bogdan Vasilescu, Claire Le Goues
DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. ICSA (2022)
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)
Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. ICSA Companion (2022)
Alex Groce, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Making no-fuss compiler fuzzing effective. CC (2022)
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. ICSE (2022)
Afsoon Afzal, Claire Le Goues, Christopher Steven Timperley
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems. IEEE Trans. Software Eng. 48 (11) (2022)
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, Bogdan Vasilescu
Augmenting Decompiler Output with Learned Variable Names and Types. USENIX Security Symposium (2022)
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. ICSE (SEIP) (2022)
Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues
Quality of Automated Program Repair on Real-World Defects. IEEE Trans. Software Eng. 48 (2) (2022)
Deborah S. Katz, Christopher Steven Timperley, Claire Le Goues
Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software. CoRR (2022)
Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman
The Importance of Safety Invariants in Robustness Testing Autonomy Systems. DSN (Supplements) (2021)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
Automatic Program Repair. IEEE Softw. 38 (4) (2021)
Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley
Simulation for Robotics Test Automation: Developer Perspectives. ICST (2021)
Afsoon Afzal, Manish Motwani, Kathryn T. Stolee, Yuriy Brun, Claire Le Goues
SOSRepair: Expressive Semantic Search for Real-World Program Repair. IEEE Trans. Software Eng. 47 (10) (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
SOAR: A Synthesis Approach for Data Science API Refactoring. CoRR (2021)
Zhen Yu Ding, Claire Le Goues
An Empirical Study of OSS-Fuzz Bugs. MSR (2021)
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu, Claire Le Goues
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. CoRR (2021)
Zhen Yu Ding, Claire Le Goues
An Empirical Study of OSS-Fuzz Bugs. CoRR (2021)
Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, Claire Le Goues
VarFix: balancing edit expressiveness and search effectiveness in automated program repair. ESEC/SIGSOFT FSE (2021)
Cody Kinneer, David Garlan, Claire Le Goues
Systems. ACM Trans. Auton. Adapt. Syst. 15 (1) (2021)
Afsoon Afzal, Claire Le Goues, Christopher Steven Timperley
GzScenic: Automatic Scene Generation for Gazebo Simulator. CoRR (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (Companion Volume) (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (2021)
Christopher Steven Timperley, Lauren Herckis, Claire Le Goues, Michael Hilton
Understanding and improving artifact sharing in software engineering research. Empir. Softw. Eng. 26 (4) (2021)
Zack Coker, Joshua Sunshine, Claire Le Goues
FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications. SANER (2021)
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Graham Neubig, Bogdan Vasilescu
Augmenting Decompiler Output with Learned Variable Names and Types. CoRR (2021)
Alex Shypula, Pengcheng Yin, Jeremy Lacomis, Claire Le Goues, Edward J. Schwartz, Graham Neubig
Learning to Superoptimize Real-world Programs. CoRR (2021)
Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley
A Study on Challenges of Testing Robotic Systems. ICST (2020)
Rijnard van Tonder, Claire Le Goues
Tailoring programs for static analysis via program transformation. ICSE (2020)
Thomas Durieux, Claire Le Goues, Michael Hilton, Rui Abreu
Empirical Study of Restarted and Flaky Builds on Travis CI. MSR (2020)
Christopher Steven Timperley, Lauren Herckis, Claire Le Goues, Michael Hilton
Understanding and Improving Artifact Sharing in Software Engineering Research. CoRR (2020)
Sophia Kolak, Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley
It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem. ICSME (2020)
Afsoon Afzal, Deborah S. Katz, Claire Le Goues, Christopher Steven Timperley
A Study on the Challenges of Using Robotics Simulators for Testing. CoRR (2020)
Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, Claire Le Goues
Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness. ICRA (2020)
Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues
Building Reusable Repertoires for Stochastic Self-* Planners. ACSOS (2020)
Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric Sample, Philip Koopman, Michael D. Wagner, Claire Le Goues
Robustness Inside Out Testing. DSN (Supplements) (2020)
Thomas Durieux, Claire Le Goues, Michael Hilton, Rui Abreu
Empirical Study of Restarted and Flaky Builds on Travis CI. CoRR (2020)
Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi
Model-Based Adaptation for Robotics Software. IEEE Softw. 36 (2) (2019)
Zhen Yu Ding, Yiwei Lyu, Christopher Steven Timperley, Claire Le Goues
Leveraging program invariants to promote population diversity in search-based automatic program repair. GI@ICSE (2019)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Automated program repair. Commun. ACM 62 (12) (2019)
Rijnard van Tonder, Claire Le Goues
Lightweight multi-language syntax transformation with parser parser combinators. PLDI (2019)
Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu
DIRE: A Neural Approach to Decompiled Identifier Naming. CoRR (2019)
Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu
DIRE: A Neural Approach to Decompiled Identifier Naming. ASE (2019)
Rijnard van Tonder, Claire Le Goues
Towards s/engineer/bot: principles for program repair bots. BotSE@ICSE (2019)
Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan
Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE (2019)
Rijnard van Tonder, Asher Trockman, Claire Le Goues
A panel data set of cryptocurrency development activity on GitHub. MSR (2019)
Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine
A Qualitative Study on Framework Debugging. ICSME (2019)
Christopher Steven Timperley, Susan Stepney, Claire Le Goues
BugZoo: a platform for studying software bugs. ICSE (Companion Volume) (2018)
Afsoon Afzal, Claire Le Goues
A study on the use of IDE features for debugging. MSR (2018)
Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues
Overfitting in semantics-based automated program repair. Empir. Softw. Eng. 23 (5) (2018)
Rijnard van Tonder, Claire Le Goues
Cross-Architecture Lifter Synthesis. SEFM (2018)
Afsoon Afzal, Jeremy Lacomis, Claire Le Goues, Christopher Steven Timperley
A turing test for genetic improvement. GI@ICSE (2018)
Jeremy Lacomis, Alan Jaffe, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu
Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code. AAAI Workshops (2018)
Alan Jaffe, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu
Meaningful variable names for decompiled code: a machine translation approach. ICPC (2018)
Vinicius Paulo L. Oliveira, Eduardo Faria de Souza, Claire Le Goues, Celso G. Camilo-Junior
Improved representation and genetic operators for linear genetic programming for automated program repair. Empir. Softw. Eng. 23 (5) (2018)
Xuan-Bach Dinh Le, Ferdian Thung, David Lo, Claire Le Goues
Overfitting in semantics-based automated program repair. ICSE (2018)
Christopher Steven Timperley, Afsoon Afzal, Deborah S. Katz, Jam Marcos Hernandez, Claire Le Goues
Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? ICST (2018)
Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael D. Wagner, Claire Le Goues, Philip Koopman
Robustness testing of autonomy software. ICSE (SEIP) (2018)
Claire Le Goues, Ciera Jaspan, Ipek Ozkaya, Mary Shaw, Kathryn T. Stolee
Bridging the Gap: From Research to Practical Advice. IEEE Softw. 35 (5) (2018)
Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
Effectiveness of anonymization in double-blind review. Commun. ACM 61 (6) (2018)
Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues
Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. SEAMS@ICSE (2018)
Mauricio Soto, Claire Le Goues
Common statement kind changes to inform automatic program repair. MSR (2018)
Mauricio Soto, Claire Le Goues
Using a probabilistic model to predict bug fixes. SANER (2018)
Justyna Petke, Claire Le Goues, Stephanie Forrest, William B. Langdon
Genetic Improvement of Software (Dagstuhl Seminar 18052). Dagstuhl Reports 8 (1) (2018)
Rijnard van Tonder, John Kotheimer, Claire Le Goues
Semantic crash bucketing. ASE (2018)
Rijnard van Tonder, Claire Le Goues
Static automated program repair for heap properties. ICSE (2018)
Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine
Debugging Framework Applications: Benefits and Challenges. CoRR (2018)
Eduardo Faria de Souza, Claire Le Goues, Celso Gonçalves Camilo-Junior
A novel fitness function for automated program repair based on source code checkpoints. GECCO (2018)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. SNAPL (2017)
Claire Le Goues, Shin Yoo
Guest editorial for special section on research in search-based software engineering. Empir. Softw. Eng. 22 (2) (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. CoRR (2017)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
JFIX: semantics-based repair of Java programs via symbolic PathFinder. ISSTA (2017)
Christopher Steven Timperley, Susan Stepney, Claire Le Goues
An Investigation into the Use of Mutation Analysis for Automated Program Repair. SSBSE (2017)

Claire Le Goues.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claire Le Goues