Publications

Full-Length Conference and Journal Articles

---

1. NDSS

   Dramko, L., Le Goues, C., & Schwartz, E. J. (2026). Idioms: A Simple and Effective Framework for Turbo-Charging Local Neural Decompilation with Well-Defined Types. Proceedings of the Network and Distributed System Security Symposium (NDSS). PDF · Code · Data · BibTeX @inproceedings{dramko2026idioms, author = {Dramko, Luke and {Le~Goues}, Claire and Schwartz, Edward J.}, title = {Idioms: A Simple and Effective Framework for Turbo-Charging Local Neural Decompilation with Well-Defined Types}, booktitle = {Proceedings of the Network and Distributed System Security Symposium (NDSS)}, year = {2026} }

2. ICSE

   Green, H., Le Goues, C., & Brown, F. (2026, April). FrameShift: Resizing Fuzzer Inputs Without Breaking Them. Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE). https://doi.org/10.1145/3744916.3787765 PDF · Tool · DOI · BibTeX @inproceedings{green2026frameshift, author = {Green, Harrison and {Le~Goues}, Claire and Brown, Fraser}, title = {{FrameShift}: Resizing Fuzzer Inputs Without Breaking Them}, booktitle = {Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE)}, year = {2026}, address = {Rio de Janeiro, Brazil}, doi = {10.1145/3744916.3787765} }

3. TOSEM

   Luo, W., Keung, J. W., Yang, B., Ye, H., Le Goues, C., Bissyandé, T. F., Tian, H., & Le, B. (2026). When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair. ACM Trans. Softw. Eng. Methodol., 35(3). https://doi.org/10.1145/3733599 PDF · Code · DOI · BibTeX @article{luo2026federated, author = {Luo, Wenqiang and Keung, Jacky W. and Yang, Boyang and Ye, He and {Le~Goues}, Claire and Bissyand{\'e}, Tegawend{\'e} F. and Tian, Haoye and Le, Bach}, title = {When Fine-Tuning {LLMs} Meets Data Privacy: An Empirical Study of Federated Learning in {LLM}-Based Program Repair}, journal = {ACM Trans. Softw. Eng. Methodol.}, volume = {35}, number = {3}, year = {2026}, doi = {10.1145/3733599} }

4. TOSEM

   Yang, B., Tian, H., Ren, J., Zhang, H., Klein, J., Bissyandé, T. F., Le Goues, C., & Jin, S. (2026). MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-Tuning. ACM Trans. Softw. Eng. Methodol., 35(2), 38:1–38:38. https://doi.org/10.1145/3735129 PDF · DOI · BibTeX @article{yang2026morepair, author = {Yang, Boyang and Tian, Haoye and Ren, Jiadong and Zhang, Hongyu and Klein, Jacques and Bissyand{\'e}, Tegawend{\'e} F. and {Le~Goues}, Claire and Jin, Shunfu}, title = {{MORepair}: Teaching {LLMs} to Repair Code via Multi-Objective Fine-Tuning}, journal = {ACM Trans. Softw. Eng. Methodol.}, volume = {35}, number = {2}, pages = {38:1--38:38}, year = {2026}, doi = {10.1145/3735129} }

5. DIMVA

   Dramko, L., Bölöni-Turgut, D., Le Goues, C., & Schwartz, E. J. (2025). Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning-Based Decompilation Improvement. Proceedings of the 22nd International Conference on the Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), 244–266. https://doi.org/10.1007/978-3-031-97620-9_14 PDF · Code · DOI · BibTeX @inproceedings{dramko2025dimva, author = {Dramko, Luke and B{\"o}l{\"o}ni-Turgut, Deniz and {Le~Goues}, Claire and Schwartz, Edward J.}, title = {Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning-Based Decompilation Improvement}, booktitle = {Proceedings of the 22nd International Conference on the Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA)}, pages = {244--266}, year = {2025}, doi = {10.1007/978-3-031-97620-9_14} }

6. TSE

   Le Goues, C., Nguyen, T. V., Forrest, S., & Weimer, W. (2025). The Evolution of Automated Software Repair. IEEE Trans. Software Eng., 51(3), 870–873. https://doi.org/10.1109/TSE.2025.3533309 PDF · DOI · BibTeX @article{legoues2025evolution, author = {{Le~Goues}, Claire and Nguyen, ThanhVu and Forrest, Stephanie and Weimer, Westley}, title = {The Evolution of Automated Software Repair}, journal = {IEEE Trans. Software Eng.}, volume = {51}, number = {3}, pages = {870--873}, year = {2025}, doi = {10.1109/TSE.2025.3533309} }

7. ASE

   Mamede, C., Campos, J., Le Goues, C., & Abreu, R. (2025). Interpretable Vulnerability Detection Reports. Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE). https://doi.org/10.1109/ASE63991.2025.00168 PDF · DOI · BibTeX @inproceedings{mamede2025ase, author = {Mamede, Cl{\'a}udia and Campos, Jos{\'e} and {Le~Goues}, Claire and Abreu, Rui}, title = {Interpretable Vulnerability Detection Reports}, booktitle = {Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, year = {2025}, doi = {10.1109/ASE63991.2025.00168} }

8. TOSEM

   Shariffdeen, R., Timperley, C. S., Noller, Y., Le Goues, C., & Roychoudhury, A. (2025). Vulnerability Repair via Concolic Execution and Code Mutations. ACM Trans. Softw. Eng. Methodol., 34(4), 105:1–105:27. https://doi.org/10.1145/3707454 PDF · Code · Data · DOI · BibTeX @article{shariffdeen2025vulnerability, author = {Shariffdeen, Ridwan and Timperley, Christopher Steven and Noller, Yannic and {Le~Goues}, Claire and Roychoudhury, Abhik}, title = {Vulnerability Repair via Concolic Execution and Code Mutations}, journal = {ACM Trans. Softw. Eng. Methodol.}, volume = {34}, number = {4}, pages = {105:1--105:27}, year = {2025}, doi = {10.1145/3707454} }

9. DSN

   Yang, Y., Grandel, S., Lacomis, J., Schwartz, E. J., Vasilescu, B., Le Goues, C., & Leach, K. (2025). A Human Study of Automatically Generated Decompiler Annotations. Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 129–142. https://doi.org/10.1109/DSN64029.2025.00026 PDF · DOI · BibTeX @inproceedings{yang2025dsn, author = {Yang, Yuwei and Grandel, Skyler and Lacomis, Jeremy and Schwartz, Edward J. and Vasilescu, Bogdan and {Le~Goues}, Claire and Leach, Kevin}, title = {A Human Study of Automatically Generated Decompiler Annotations}, booktitle = {Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}, pages = {129--142}, year = {2025}, doi = {10.1109/DSN64029.2025.00026} }

10. ICSE

    Yang, A. Z. H., Kolak, S., Hellendoorn, V. J., Martins, R., & Le Goues, C. (2025). Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE), 2561–2573. https://doi.org/10.1109/ICSE55347.2025.00089 PDF · Code · DOI · BibTeX @inproceedings{yang2025revisiting, author = {Yang, Aidan Z. H. and Kolak, Sophia and Hellendoorn, Vincent J. and Martins, Ruben and {Le~Goues}, Claire}, title = {Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models}, booktitle = {Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE)}, pages = {2561--2573}, year = {2025}, doi = {10.1109/ICSE55347.2025.00089} }

11. ISSTA

    Ye, H., Yang, A. Z. H., Hu, C., Wang, Y., Zhang, T., & Le Goues, C. (2025). AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent. Proc. ACM Softw. Eng. 2.ISSTA, 1398–1420. https://doi.org/10.1145/3728939 PDF · DOI · BibTeX @inproceedings{ye2025adverintent, author = {Ye, He and Yang, Aidan Z. H. and Hu, Chang and Wang, Yanlin and Zhang, Tao and {Le~Goues}, Claire}, title = {AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent}, booktitle = {Proc. ACM Softw. Eng. 2.ISSTA}, pages = {1398--1420}, year = {2025}, doi = {10.1145/3728939} }

12. ICSE

    Zhou, S., Wang, J., Ye, H., Zhou, H., Le Goues, C., & Luo, X. (2025). LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes. Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE), 153–164. https://doi.org/10.1109/ICSE55347.2025.00233 PDF · DOI · BibTeX @inproceedings{zhou2025lwdiff, author = {Zhou, Shiyao and Wang, Jincheng and Ye, He and Zhou, Hao and {Le~Goues}, Claire and Luo, Xiapu}, title = {{LWDIFF}: an {LLM}-Assisted Differential Testing Framework for {W}ebassembly Runtimes}, booktitle = {Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE)}, pages = {153--164}, year = {2025}, doi = {10.1109/ICSE55347.2025.00233} }

13. USENIX Sec.

    Dramko, L., Lacomis, J., Schwartz, E. J., Vasilescu, B., & Le Goues, C. (2024). A Taxonomy of C Decompiler Fidelity Issues. 33rd USENIX Security Symposium. PDF · Data · BibTeX @article{DramkoCDecompilerIssueTaxonomy, author = {Dramko, Luke and Lacomis, Jeremy and Schwartz, Edward J and Vasilescu, Bogdan and {Le~Goues}, Claire}, title = {A Taxonomy of C Decompiler Fidelity Issues}, booktitle = {33rd USENIX Security Symposium}, series = {USENIX Security 24}, year = {2024} }

14. ICSE

    Dürschmid, T., Timperley, C. S., Garlan, D., & Le Goues, C. (2024). ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. https://doi.org/10.1145/3597503.3639206 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{Duerschmid2024ROSInfer, author = {D\"{u}rschmid, Tobias and Timperley, Christopher Steven and Garlan, David and {Le~Goues}, Claire}, title = {ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems}, booktitle = {Proceedings of the IEEE/ACM 46th International Conference on Software Engineering}, series = {ICSE '24}, year = {2024}, doi = {10.1145/3597503.3639206}, url = {https://doi.org/10.1145/3597503.3639206} }

15. ICSE

    Eladawy, H., Le Goues, C., & Brun, Y. (2024). Automated Program Repair, What Is It Good For? Not Absolutely Nothing! Proceedings of the 46th International Conference on Software Engineering (ICSE), 1017–1029. https://doi.org/10.1145/3597503.3639095 PDF · Video · Data · DOI · BibTeX @inproceedings{Eladawy24icse, author = {Eladawy, Hadeel and {Le~Goues}, Claire and Brun, Yuriy}, title = {Automated Program Repair, What Is It Good For? {Not} Absolutely Nothing!}, booktitle = {Proceedings of the 46th International Conference on Software Engineering (ICSE)}, pages = {1017--1029}, year = {2024}, address = {Lisbon, Portugal}, doi = {10.1145/3597503.3639095}, video = {https://youtu.be/_2tUAI78Ybw} }

16. TSE

    Ramos, D., Lynce, I., Manquinho, V., Martins, R., & Le Goues, C. (2024). BatFix: Repairing language model-based transpilation. ACM Transactions on Software Engineering and Methodology. https://doi.org/10.1145/3658668 DOI · BibTeX @article{batfix, author = {Ramos, Daniel and Lynce, In\^{e}s and Manquinho, Vasco and Martins, Ruben and {Le~Goues}, Claire}, title = {BatFix: Repairing language model-based transpilation}, journal = {ACM Transactions on Software Engineering and Methodology}, year = {2024}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, doi = {10.1145/3658668}, url = {https://doi.org/10.1145/3658668}, issn = {1049-331X} }

17. ICRA

    Canelas, P., Tabor, T., Ore, J.-P., Fonseca, A., Le Goues, C., & Timperley, C. S. (2024). Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. International Conference on Robotics and Automation, 1–7. PDF · BibTeX @inproceedings{canelas2024physunits, author = {Canelas, Paulo and Tabor, Trenton and Ore, John-Paul and Fonseca, Alcides and {Le~Goues}, Claire and Timperley, Christopher Steven}, title = {Is it a Bug? Understanding Physical Unit Mismatches in Robot Software}, booktitle = {International Conference on Robotics and Automation}, pages = {1--7}, year = {2024} }

18. FSE

    Deb, S., Jain, K., van Tonder, R., Le Goues, C., & Groce, A. (2024). Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE). PDF · BibTeX @article{debSyntaxAllYouNeed, author = {Deb, Sourav and Jain, Kush and {van~Tonder}, Rijnard and {Le~Goues}, Claire and Groce, Alex}, title = {Syntax Is All You Need: A Universal-Language Approach to Mutant Generation}, booktitle = {Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE)}, series = {FSE 24}, year = {2024} }

19. Le Goues, C., Elbaum, S. G., Anthony, D. J., Celik, Z. B., Castillo-Effen, M., Correll, N., Jamshidi, P., Quigley, M., Tabor, T., & Zhu, Q. (2024). Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics. CoRR, abs/2401.12317. https://doi.org/10.48550/ARXIV.2401.12317 PDF · DOI · BibTeX @article{se4robots, author = {{Le~Goues}, Claire and Elbaum, Sebastian G. and Anthony, David J. and Celik, Z. Berkay and Castillo-Effen, Mauricio and Correll, Nikolaus and Jamshidi, Pooyan and Quigley, Morgan and Tabor, Trenton and Zhu, Qi}, title = {Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics}, journal = {CoRR}, volume = {abs/2401.12317}, year = {2024}, doi = {10.48550/ARXIV.2401.12317} }

20. CACM

    Widder, D. G., & Le Goues, C. (2024). What Is a ‘Bug’? Commun. ACM, 67(11), 32–34. https://doi.org/10.1145/3662730 PDF · DOI · BibTeX @article{widder2024whatisabug, author = {Widder, David Gray and {Le~Goues}, Claire}, title = {What Is a `Bug'?}, journal = {Commun. ACM}, volume = {67}, number = {11}, pages = {32--34}, year = {2024}, doi = {10.1145/3662730} }

21. ICSE

    Yang, A. Z. H., Le Goues, C., Martins, R., & Hellendoorn, V. (2024). Large language models for test-free fault localization. Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 1–12. https://doi.org/10.1145/3597503.3623342 PDF · Code · DOI · BibTeX @inproceedings{yang2024large, author = {Yang, Aidan ZH and Le Goues, Claire and Martins, Ruben and Hellendoorn, Vincent}, title = {Large language models for test-free fault localization}, booktitle = {Proceedings of the 46th IEEE/ACM International Conference on Software Engineering}, pages = {1--12}, year = {2024}, doi = {10.1145/3597503.3623342} }

22. TOSEM

    Dramko, L., Lacomis, J., Yin, P., Schwartz, E. J., Allamanis, M., Neubig, G., Vasilescu, B., & Le Goues, C. (2023). DIRE and its Data: Neural Decompiled Variable Renamings with respect to Software Class. ACM Trans. Softw. Eng. Methodol., 32(2), 39:1–39:34. https://doi.org/10.1145/3546946 PDF · DOI · BibTeX @article{DramkoDIREData2022, author = {Dramko, Luke and Lacomis, Jeremy and Yin, Pengcheng and Schwartz, Edward J. and Allamanis, Miltiadis and Neubig, Graham and Vasilescu, Bodan and {Le~Goues}, Claire}, title = {DIRE and its Data: {N}eural Decompiled Variable Renamings with respect to Software Class}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, series = {TOSEM '22}, volume = {32}, number = {2}, pages = {39:1--39:34}, year = {2023}, doi = {10.1145/3546946} }

23. ASE

    Ramos, D., Mitchell, H., Lynce, I., Manquinho, V. M., Martins, R., & Le Goues, C. (2023). MELT: Mining Effective Lightweight Transformations from Pull Requests. IEEE/ACM International Conference on Automated Software Engineering, 1516–1528. https://doi.org/10.1109/ASE56229.2023.00117 PDF · Code · Data · DOI · BibTeX @inproceedings{RamosMLMMG23, author = {Ramos, Daniel and Mitchell, Hailie and Lynce, In{\^{e}}s and Manquinho, Vasco M. and Martins, Ruben and {Le~Goues}, Claire}, title = {{MELT:} Mining Effective Lightweight Transformations from Pull Requests}, booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering}, series = {ASE '23}, pages = {1516--1528}, year = {2023}, publisher = {{IEEE}}, doi = {10.1109/ASE56229.2023.00117}, url = {https://doi.org/10.1109/ASE56229.2023.00117} }

24. ASE

    Ye, H., Chen, Z., & Le Goues, C. (2023). 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. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 1899–1910. https://doi.org/10.1109/ASE56229.2023.00163 PDF · Code · DOI · BibTeX @inproceedings{Ye2023PreciseBugCollector, author = {Ye, He and Chen, Zimin and {Le~Goues}, Claire}, title = {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}, booktitle = {2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, pages = {1899-1910}, year = {2023}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, doi = {10.1109/ASE56229.2023.00163} }

25. TOSEM

    Cruz-Carlon, J. A., Varshosaz, M., Le Goues, C., & Wąsowski, A. (2023). Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol., 32(3), 56:1–56:28. https://doi.org/10.1145/3548684 PDF · Code · DOI · BibTeX @article{cruz22crayons, author = {Cruz-Carlon, Juan Alfredo and Varshosaz, Mahsa and {Le~Goues}, Claire and W\k{a}sowski, Andrzej}, title = {Patching Locking Bugs Statically with Crayons}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {32}, number = {3}, pages = {56:1--56:28}, year = {2023}, doi = {10.1145/3548684}, url = {https://doi.org/10.1145/3548684} }

26. ESEC/FSE

    Jain, K., Alon, U., Groce, A., & Le Goues, C. (2023). Contextual Predictive Mutation Testing. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 250–261. https://doi.org/10.1145/3611643.3616289 PDF · Data · DOI · BibTeX @inproceedings{jainContextualPMT, author = {Jain, Kush and Alon, Uri and Groce, Alex and {Le~Goues}, Claire}, title = {Contextual Predictive Mutation Testing}, booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, series = {ESEC/FSE 2023}, pages = {250–261}, year = {2023}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, location = {, San Francisco, CA, USA, }, doi = {10.1145/3611643.3616289}, url = {https://doi.org/10.1145/3611643.3616289}, isbn = {9798400703270} }

27. ISSRE

    Jain, K., Kalburgi, G. T., Le Goues, C., & Groce, A. (2023). Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE), 102–113. https://doi.org/10.1109/ISSRE59848.2023.00036 PDF · DOI · BibTeX @inproceedings{jainOracleGap, author = {Jain, Kush and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire and Groce, Alex}, title = {Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts}, booktitle = {2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)}, volume = {}, pages = {102-113}, year = {2023}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, doi = {10.1109/ISSRE59848.2023.00036}, url = {https://doi.ieeecomputersociety.org/10.1109/ISSRE59848.2023.00036}, issn = {} }

28. ASE

    Rao, N., Jain, K., Alon, U., Le Goues, C., & Hellendoorn, V. J. (2023). CAT-LM Training Language Models on Aligned Code And Tests. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 409–420. https://doi.org/10.1109/ASE56229.2023.00193 PDF · Data · DOI · BibTeX @inproceedings{raoCATLM, author = {Rao, Nikitha and Jain, Kush and Alon, Uri and {Le~Goues}, Claire and Hellendoorn, Vincent J.}, title = {CAT-LM Training Language Models on Aligned Code And Tests}, booktitle = {2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, volume = {}, pages = {409-420}, year = {2023}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, doi = {10.1109/ASE56229.2023.00193}, url = {https://doi.ieeecomputersociety.org/10.1109/ASE56229.2023.00193}, issn = {} }

29. TSE

    Afzal, A., Goues, C. L., & Timperley, C. S. (2022). Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems. IEEE Trans. Software Eng., 48(11), 4535–4552. https://doi.org/10.1109/TSE.2021.3120680 PDF · Data · DOI · BibTeX @article{AfzalGT22, author = {Afzal, Afsoon and Goues, Claire Le and Timperley, Christopher Steven}, title = {Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {48}, number = {11}, pages = {4535--4552}, year = {2022}, doi = {10.1109/TSE.2021.3120680} }

30. USENIX Sec.

    Chen, Q., Lacomis, J., Schwartz, E. J., Le Goues, C., Neubig, G., & Vasilescu, B. (2022). Augmenting Decompiler Output with Learned Variable Names and Types. USENIX Security Symposium. PDF · Code · Website · BibTeX @inproceedings{ChenDIRTY2022, author = {Chen, Qibin and Lacomis, Jeremy and Schwartz, Edward J. and {Le~Goues}, Claire and Neubig, Graham and Vasilescu, Bogdan}, title = {Augmenting Decompiler Output with Learned Variable Names and Types}, booktitle = {USENIX Security Symposium}, series = {Oakland '22}, year = {2022}, website = {https://dirtdirty.github.io/explorer.html} }

31. ICSE

    Chen, Q., Lacomis, J., Schwartz, E. J., Neubig, G., Vasilescu, B., & Le Goues, C. (2022). VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning. International Conference on Software Engineering. PDF · Video · Code · BibTeX @inproceedings{ChenVarCLR2022, author = {Chen, Qibin and Lacomis, Jeremy and Schwartz, Edward J. and Neubig, Graham and Vasilescu, Bogdan and {Le~Goues}, Claire}, title = {{VarCLR}: {Variable} Semantic Representation Pre-training via Contrastive Learning}, booktitle = {International Conference on Software Engineering}, series = {ICSE '22}, year = {2022}, video = {https://www.youtube.com/watch?v=WyB49EIcctY} }

32. ICSA

    Timperley, C. S., Dürschmid, T., Schmerl, B., Garlan, D., & Le Goues, C. (2022). ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. Proceedings of the 19th IEEE International Conference on Software Architecture., 112–123. https://doi.org/10.1109/ICSA53651.2022.00019 PDF · Slides (PDF) · Video · Code · Data · DOI · BibTeX @inproceedings{Timperley2022ROSDiscover, author = {Timperley, Christopher S. and D\"{u}rschmid, Tobias and Schmerl, Bradley and Garlan, David and {Le~Goues}, Claire}, title = {ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems}, booktitle = {Proceedings of the 19th IEEE International Conference on Software Architecture.}, series = {ICSA '22}, pages = {112-123}, year = {2022}, publisher = {IEEE}, doi = {10.1109/ICSA53651.2022.00019}, video = {https://youtu.be/sUfTNU5Jb-A?si=iIqo7Jy93YNP38tH} }

33. CC

    Groce, A., van Tonder, R., Kalburgi, G. T., & Le Goues, C. (2022). Making no-fuss compiler fuzzing effective. CC ’22: 31st ACM SIGPLAN International Conference on Compiler Construction, 194–204. https://doi.org/10.1145/3497776.3517765 PDF · Code · DOI · BibTeX @inproceedings{groce22cc, author = {Groce, Alex and van Tonder, Rijnard and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire}, title = {Making no-fuss compiler fuzzing effective}, booktitle = {{CC} '22: 31st {ACM} {SIGPLAN} International Conference on Compiler Construction}, pages = {194--204}, year = {2022}, publisher = {{ACM}}, doi = {10.1145/3497776.3517765} }

34. ISSRE

    Leach, K., Timperley, C. S., Angstadt, K., Nguyen-Tuong, A., Hiser, J., Paulos, A., Pal, P. P., Hurley, P., Thomas, C., Davidson, J. W., Forrest, S., Le Goues, C., & Weimer, W. (2022). START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 73–84. https://doi.org/10.1109/ISSRE55969.2022.00018 PDF · DOI · BibTeX @inproceedings{leach2022issre, author = {Leach, Kevin and Timperley, Christopher Steven and Angstadt, Kevin and Nguyen{-}Tuong, Anh and Hiser, Jason and Paulos, Aaron and Pal, Partha P. and Hurley, Patrick and Thomas, Carl and Davidson, Jack W. and Forrest, Stephanie and {Le~Goues}, Claire and Weimer, Westley}, title = {{START:} {A} Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)}, booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering, {ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022}, pages = {73--84}, year = {2022}, publisher = {{IEEE}}, doi = {10.1109/ISSRE55969.2022.00018} }

35. TSE

    Motwani, M., Soto, M., Brun, Y., Just, R., & Le Goues, C. (2022). Quality of Automated Program Repair on Real-World Defects. IEEE Transactions on Software Engineering (TSE), 637–661. https://doi.org/10.1109/TSE.2020.2998785 PDF · Code · DOI · BibTeX @article{motwani20tse, author = {Motwani, Manish and Soto, Mauricio and Brun, Yuriy and Just, Ren{\'{e}} and {Le~Goues}, Claire}, title = {Quality of Automated Program Repair on Real-World Defects}, journal = {IEEE Transactions on Software Engineering (TSE)}, pages = {637--661}, year = {2022}, doi = {10.1109/TSE.2020.2998785}, issn = {0098-5589} }

36. TSE

    Afzal, A., Motwani, M., Stolee, K., Brun, Y., & Le Goues, C. (2021). SOSRepair: Expressive Semantic Search for Real-World Program Repair. IEEE Transactions on Software Engineering, 47(10), 2162–2181. https://doi.org/10.1109/TSE.2019.2944914 PDF · Code · Data · Results · DOI · BibTeX @article{AfzalSOSRepair19, author = {Afzal, Afsoon and Motwani, Manish and Stolee, Kathryn and Brun, Yuriy and {Le~Goues}, Claire}, title = {{SOSRepair}: Expressive Semantic Search for Real-World Program Repair}, journal = {{IEEE} Transactions on Software Engineering}, volume = {47}, number = {10}, pages = {2162--2181}, year = {2021}, publisher = {IEEE}, doi = {10.1109/TSE.2019.2944914}, issn = {0098-5589}, results = {https://github.com/squaresLab/SOSRepair-Replication-Package} }

37. ICST

    Afzal, A., Katz, D. S., Le Goues, C., & Timperley, C. S. (2021, April). Simulation for Robotics Test Automation: Developer Perspectives. International Conference on Software Testing, Validation And Verification. PDF · Data · BibTeX @inproceedings{AfzalSimulation21, author = {Afzal, Afsoon and Katz, Deborah S. and {Le~Goues}, Claire and Timperley, Christopher Steven}, title = {Simulation for Robotics Test Automation: Developer Perspectives}, booktitle = {International Conference on Software Testing, Validation and Verification}, series = {ICST '21}, year = {2021} }

38. MSR

    Ding, Z. Y., & Le Goues, C. (2021, May). An Empirical Study of OSS-Fuzz Bugs. International Conference on Mining Software Repositories. PDF · Data · BibTeX @inproceedings{DingOSSFuzz21, author = {Ding, {Zhen~Yu} and {Le~Goues}, Claire}, title = {An Empirical Study of OSS-Fuzz Bugs}, booktitle = {International Conference on Mining Software Repositories}, series = {MSR '21}, year = {2021} }

39. ICSE

    Ni, A., Ramos, D., Yang, A. Z. H., Lynce, I., Manquinho, V. M., Martins, R., & Le Goues, C. (2021). SOAR: A Synthesis Approach for Data Science API Refactoring. Proceedings of the IEEE/ACM International Conference on Software Engineering, 112–124. https://doi.org/10.1109/ICSE43902.2021.00023 PDF · Video · DOI · BibTeX @inproceedings{SOAR2021, author = {Ni, Ansong and Ramos, Daniel and Yang, Aidan Z. H. and Lynce, In{\^{e}}s and Manquinho, Vasco M. and Martins, Ruben and {Le~Goues}, Claire}, title = {{SOAR:} {A} Synthesis Approach for Data Science {API} Refactoring}, booktitle = {Proceedings of the IEEE/ACM International Conference on Software Engineering}, series = {ICSE '21}, pages = {112--124}, year = {2021}, publisher = {{IEEE}}, doi = {10.1109/ICSE43902.2021.00023}, url = {https://doi.org/10.1109/ICSE43902.2021.00023}, video = {https://youtu.be/RDRVGkVwcQQ?si=z4trOqXNkjaNQQN0} }

40. SANER

    Coker, Z., Sunshine, J., & Le Goues, C. (2021). FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications. 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 201–212. https://doi.org/10.1109/SANER50967.2021.00027 PDF · Video · DOI · BibTeX @inproceedings{coker21framefix, author = {Coker, Zack and Sunshine, Joshua and {Le~Goues}, Claire}, title = {FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications}, booktitle = {28th {IEEE} International Conference on Software Analysis, Evolution and Reengineering (SANER)}, pages = {201--212}, year = {2021}, publisher = {{IEEE}}, doi = {10.1109/SANER50967.2021.00027}, video = {https://youtu.be/MIxNBHYEAA0?si=uk8IrDLhW58v2EVo} }

41. TAAS

    Kinneer, C., Garlan, D., & Le Goues, C. (2021). Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. ACM Trans. Auton. Adapt. Syst., 15(1), 3:1–3:36. https://doi.org/10.1145/3440119 PDF · DOI · BibTeX @article{kinneer21taas, author = {Kinneer, Cody and Garlan, David and {Le~Goues}, Claire}, title = {Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems}, journal = {{ACM} Trans. Auton. Adapt. Syst.}, volume = {15}, number = {1}, pages = {3:1--3:36}, year = {2021}, doi = {10.1145/3440119} }

42. EMSE

    Timperley, C. S., Herckis, L., Le Goues, C., & Hilton, M. (2021). Understanding and improving artifact sharing in software engineering research. Empir. Softw. Eng., 26(4), 67. https://doi.org/10.1007/s10664-021-09973-5 PDF · DOI · BibTeX @article{timperley21ese, author = {Timperley, Christopher Steven and Herckis, Lauren and {Le~Goues}, Claire and Hilton, Michael}, title = {Understanding and improving artifact sharing in software engineering research}, journal = {Empir. Softw. Eng.}, volume = {26}, number = {4}, pages = {67}, year = {2021}, doi = {10.1007/s10664-021-09973-5} }

43. FSE

    Wong, C.-P., Santiesteban, P., Kästner, C., & Le Goues, C. (2021). VarFix: balancing edit expressiveness and search effectiveness in automated program repair. ESEC/FSE ’21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 354–366. https://doi.org/10.1145/3468264.3468600 PDF · DOI · BibTeX @inproceedings{wong21varfix, author = {Wong, Chu{-}Pan and Santiesteban, Priscila and K{\"{a}}stner, Christian and {Le~Goues}, Claire}, title = {VarFix: balancing edit expressiveness and search effectiveness in automated program repair}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, pages = {354--366}, year = {2021}, publisher = {{ACM}}, doi = {10.1145/3468264.3468600} }

44. ICST

    Afzal, A., Le Goues, C., Hilton, M., & Timperley, C. S. (2020, March). A Study on Challenges of Testing Robotic Systems. International Conference on Software Testing, Validation And Verification. PDF · Data · BibTeX @inproceedings{AfzalQualitative20, author = {Afzal, Afsoon and {Le~Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven}, title = {A Study on Challenges of Testing Robotic Systems}, booktitle = {International Conference on Software Testing, Validation and Verification}, series = {ICST '20}, year = {2020}, location = {Porto, Portugal} }

45. ICRA

    Katz, D. S., Hutchison, C., Zizyte, M., & Le Goues, C. (2020). Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness. International Conference on Robotics and Automation, 9367–9373. PDF · BibTeX @inproceedings{KatzDetecting2020, author = {Katz, Deborah S. and Hutchison, Casidhe and Zizyte, Milda and {Le~Goues}, Claire}, title = {Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness}, booktitle = {International Conference on Robotics and Automation}, series = {ICRA '20}, pages = {9367--9373}, year = {2020} }

46. ICSME

    Kolak, S., Afzal, A., Le Goues, C., Hilton, M., & Timperley, C. S. (2020). It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem. IEEE International Conference on Software Maintenance and Evolution, . PDF · Video · Data · BibTeX @inproceedings{KolakROS20, author = {Kolak, Sophia and Afzal, Afsoon and {Le~Goues}, Claire and Hilton, Michael and Timperley, Christopher Steven}, title = {It Takes a Village to Build a Robot: An Empirical Study of The {ROS} Ecosystem}, booktitle = {IEEE International Conference on Software Maintenance and Evolution}, series = {ICSME '20}, volume = { }, number = {}, pages = {}, year = {2020}, video = {https://youtu.be/a16E3j6am-E?si=VFbjg8PGGg-5TLIa} }

47. MSR

    Durieux, T., Le Goues, C., Hilton, M., & Abreu, R. (2020). Empirical Study of Restarted and Flaky Builds on Travis CI. IEEE/ACM 17th International Conference on Mining Software Repositories (MSR), 254–264. https://doi.org/10.1145/3379597.3387460 PDF · Video · Code · Data · DOI · BibTeX @inproceedings{durieux20msr, author = {Durieux, Thomas and {Le~Goues}, Claire and Hilton, Michael and Abreu, Rui}, title = {Empirical Study of Restarted and Flaky Builds on Travis CI}, booktitle = {IEEE/ACM 17th International Conference on Mining Software Repositories (MSR)}, pages = {254--264}, year = {2020}, publisher = {{ACM}}, location = {Seoul, Republic of Korea}, doi = {10.1145/3379597.3387460}, video = {https://youtu.be/8y3lV68om38?si=Sm5oF_gx1e0lS2bh} }

48. ICSE

    van Tonder, R., & Le Goues, C. (2020). Tailoring Programs for Static Analysis via Program Transformation. Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE), 824–834. https://doi.org/10.1145/3377811.3380343 PDF · Video · DOI · BibTeX @inproceedings{icse2020transform, author = {van Tonder, Rijnard and {Le~Goues}, Claire}, title = {Tailoring Programs for Static Analysis via Program Transformation}, booktitle = {Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering (ICSE)}, pages = {824--834}, year = {2020}, publisher = {{ACM}}, doi = {10.1145/3377811.3380343}, video = {https://youtu.be/9wb9HY1KcKs?si=h4XkfkrB4m5xy8UJ} }

49. ACSOS

    Kinneer, C., van Tonder, R., Garlan, D., & Le Goues, C. (2020). Building Reusable Repertoires for Stochastic Self-* Planners. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), 222–231. https://doi.org/10.1109/ACSOS49614.2020.00045 PDF · Video · DOI · BibTeX @inproceedings{kinneer20acsos, author = {Kinneer, Cody and van Tonder, Rijnard and Garlan, David and {Le~Goues}, Claire}, title = {Building Reusable Repertoires for Stochastic Self-* Planners}, booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)}, pages = {222--231}, year = {2020}, publisher = {{IEEE}}, location = {Washington, DC}, doi = {10.1109/ACSOS49614.2020.00045}, video = {https://youtu.be/PCkzMgssSMk?si=R67p2Rr9mspUk2An} }

50. ICSME

    Coker, Z., Widder, D. G., Le Goues, C., Bogart, C., & Sunshine, J. (2019). A Qualitative Study on Framework Debugging. IEEE International Conference on Software Maintenance and Evolution, , 568–579. PDF · Slides (PDF) · Code · BibTeX @inproceedings{CokerQualitative2019, author = {{Coker}, Zack and {Widder}, David Gray and {Le~Goues}, Claire and {Bogart}, Chris and {Sunshine}, Josh}, title = {A Qualitative Study on Framework Debugging}, booktitle = {IEEE International Conference on Software Maintenance and Evolution}, series = {ICSME '19}, volume = { }, number = {}, pages = {568--579}, year = {2019} }

51. ASE

    Lacomis, J., Yin, P., Schwartz, E. J., Allamanis, M., Le Goues, C., Neubig, G., & Vasilescu, B. (2019). DIRE: A Neural Approach to Decompiled Identifier Naming. International Conference on Automated Software Engineering. PDF · Data · BibTeX @inproceedings{LacomisDIRE2019, author = {Lacomis, Jeremy and Yin, Pengcheng and Schwartz, Edward J. and Allamanis, Miltiadis and {Le~Goues}, Claire and Neubig, Graham and Vasilescu, Bogdan}, title = {{DIRE}: {A} Neural Approach to Decompiled Identifier Naming}, booktitle = {International Conference on Automated Software Engineering}, series = {ASE '19}, year = {2019} }

52. IEEE Software

    Aldrich, J., Garlan, D., Kaestner, C., Le Goues, C., Mohseni-Kabir, A., Ruchkin, I., Samuel, S., Schmerl, B., Timperley, C. S., Veloso, M., Voysey, I., Biswas, J., Guha, A., Holtz, J., Camara, J., & Jamshidi, P. (2019). Model-Based Adaptation for Robotics Software. IEEE Software, 36(2), 83–90. https://doi.org/10.1109/MS.2018.2885058 PDF · DOI · BibTeX @article{MARS2019, author = {{Aldrich}, J. and {Garlan}, D. and {Kaestner}, C. and {Le~Goues}, C. and {Mohseni-Kabir}, A. and {Ruchkin}, I. and {Samuel}, S. and {Schmerl}, B. and {Timperley}, C. S. and {Veloso}, M. and {Voysey}, I. and {Biswas}, J. and {Guha}, A. and {Holtz}, J. and {Camara}, J. and {Jamshidi}, P.}, title = {Model-Based Adaptation for Robotics Software}, journal = {IEEE Software}, volume = {36}, number = {2}, pages = {83-90}, year = {2019}, doi = {10.1109/MS.2018.2885058} }

53. CACM

    Le Goues, C., Pradel, M., & Roychoudhury, A. (2019). Automated Program Repair. Commun. ACM, 62(12), 56–65. https://doi.org/10.1145/3318162 PDF · DOI · BibTeX @article{legoues-cacm2019, author = {Le~Goues, Claire and Pradel, Michael and Roychoudhury, Abhik}, title = {Automated Program Repair}, journal = {Commun. ACM}, volume = {62}, number = {12}, pages = {56–65}, year = {2019}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, doi = {10.1145/3318162}, issn = {0001-0782} }

54. MEMOCODE

    Kinneer, C., Wagner, R., Fang, F., Le Goues, C., & Garlan, D. (2019). Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats. Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). https://doi.org/10.1145/3359986.3361208 PDF · DOI · BibTeX @inproceedings{memocode19cody, author = {Kinneer, Cody and Wagner, Ryan and Fang, Fei and {Le~Goues}, Claire and Garlan, David}, title = {Modeling Observability in Adaptive Systems to Defend against Advanced Persistent Threats}, booktitle = {Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)}, year = {2019}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, doi = {10.1145/3359986.3361208}, isbn = {9781450369978} }

55. MSR

    van Tonder, R., Trockman, A., & Le Goues, C. (2019). A Panel Data Set of Cryptocurrency Development Activity on GitHub. 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 186–190. https://doi.org/10.1109/MSR.2019.00037 PDF · Code · Data · DOI · BibTeX @inproceedings{msr19rvt, author = {{van Tonder}, Rijnard and {Trockman}, Asher and {Le~Goues}, Claire}, title = {A Panel Data Set of Cryptocurrency Development Activity on GitHub}, booktitle = {2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR)}, pages = {186--190}, year = {2019}, publisher = {{IEEE}/{ACM}}, location = {Montreal, Canada}, doi = {10.1109/MSR.2019.00037}, url = {https://doi.org/10.1109/MSR.2019.00037} }

56. PLDI

    van Tonder, R., & Le Goues, C. (2019). Lightweight Multi-language Syntax Transformation with Parser Parser Combinators. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 363–378. https://doi.org/10.1145/3314221.3314589 PDF · Code · Tool · Website · DOI · BibTeX @inproceedings{pldi19, author = {van Tonder, Rijnard and Le Goues, Claire}, title = {Lightweight Multi-language Syntax Transformation with Parser Parser Combinators}, booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}, pages = {363--378}, year = {2019}, publisher = {ACM}, doi = {10.1145/3314221.3314589}, isbn = {978-1-4503-6712-7}, website = {https://comby.dev} }

57. MSR

    Afzal, A., & Le Goues, C. (2018, May). A Study on the Use of IDE Features for Debugging. International Conference on Mining Software Repositories. https://doi.org/10.1145/3196398.3196468 PDF · DOI · BibTeX @inproceedings{AfzalMSRChallenge2018, author = {Afzal, Afsoon and {Le~Goues}, Claire}, title = {A Study on the Use of IDE Features for Debugging}, booktitle = {International Conference on Mining Software Repositories}, series = {MSR Challenge '18}, year = {2018}, location = {Gothenburg, Sweden}, doi = {10.1145/3196398.3196468} }

58. ICSE

    Hutchison, C., Zizyte, M., Lanigan, P. E., Guttendorf, D., Wagner, M., Le Goues, C., & Koopman, P. (2018). Robustness Testing of Autonomy Software. International Conference on Software Engineering: Software Engineering in Practice, 276–285. https://doi.org/10.1145/3183519.3183534 PDF · DOI · BibTeX @inproceedings{HutchisonRobustness2018, author = {Hutchison, Casidhe and Zizyte, Milda and Lanigan, Patrick E. and Guttendorf, David and Wagner, Michael and {Le~Goues}, Claire and Koopman, Philip}, title = {Robustness Testing of Autonomy Software}, booktitle = {International Conference on Software Engineering: Software Engineering in Practice}, series = {ICSE SEIP '18}, pages = {276--285}, year = {2018}, publisher = {ACM}, location = {Gothenburg, Sweden}, doi = {10.1145/3183519.3183534} }

59. ICPC

    Jaffe, A., Lacomis, J., Schwartz, E. J., Le Goues, C., & Vasilescu, B. (2018). Meaningful Variable Names for Decompiled Code: A Machine Translation Approach. International Conference on Program Comprehension, 20–30. PDF · BibTeX @inproceedings{JaffeDecompilerNames2018, author = {Jaffe, Alan and Lacomis, Jeremy and Schwartz, Edward J. and {Le~Goues}, Claire and Vasilescu, Bogdan}, title = {Meaningful Variable Names for Decompiled Code: {A} Machine Translation Approach}, booktitle = {International Conference on Program Comprehension}, series = {ICPC '18}, pages = {20--30}, year = {2018} }

60. SEAMS

    Kinneer, C., Coker, Z., Wang, J., Garlan, D., & Le Goues, C. (2018). Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search. Software Engineering for Adaptive and Self-Managing Systems, 40–50. https://doi.org/10.1145/3194133.3194145 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{KinneerManaging2018, author = {Kinneer, Cody and Coker, Zack and Wang, Jiacheng and Garlan, David and {Le~Goues}, Claire}, title = {Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search}, booktitle = {Software Engineering for Adaptive and Self-Managing Systems}, series = {SEAMS '18}, pages = {40--50}, year = {2018}, doi = {10.1145/3194133.3194145} }

61. CACM

    Le Goues, C., Brun, Y., Apel, S., Berger, E., Khurshid, S., & Smaragdakis, Y. (2018). Effectiveness of Anonymization in Double-Blind Review. Commun. ACM, 61(6), 30–33. https://doi.org/10.1145/3208157 PDF · DOI · BibTeX @article{LeGouesDoubleBlind2018, author = {{Le~Goues}, Claire and Brun, Yuriy and Apel, Sven and Berger, Emery and Khurshid, Sarfraz and Smaragdakis, Yannis}, title = {Effectiveness of Anonymization in Double-Blind Review}, journal = {Commun. ACM}, volume = {61}, number = {6}, pages = {30--33}, year = {2018}, doi = {10.1145/3208157} }

62. EMSE

    Oliveira, V. P. L., Souza, E. F., Le Goues, C., & Camilo-Junior, C. G. (2018). Improved Representation and Genetic Operators for Linear Genetic Programming for Automated Program Repair. Empirical Software Engineering. https://doi.org/10.1007/s10664-017-9562-9 PDF · DOI · BibTeX @article{OliveiraRepresentation2018, author = {Oliveira, Vinicius Paulo L. and Souza, Eduardo F. and {Le~Goues}, Claire and Camilo-Junior, Celso G.}, title = {Improved Representation and Genetic Operators for Linear Genetic Programming for Automated Program Repair}, journal = {Empirical Software Engineering}, year = {2018}, doi = {10.1007/s10664-017-9562-9} }

63. MSR

    Soto, M., & Le Goues, C. (2018, May). Common Statement Kind Changes to Inform Automatic Program Repair. International Conference on Mining Software Repositories. https://doi.org/10.1145/3196398.3196472 PDF · Code · DOI · BibTeX @inproceedings{SotoMSRChallenge2018, author = {Soto, Mauricio and {Le~Goues}, Claire}, title = {Common Statement Kind Changes to Inform Automatic Program Repair}, booktitle = {International Conference on Mining Software Repositories}, series = {MSR Challenge '18}, year = {2018}, location = {Gothenburg, Sweden}, doi = {10.1145/3196398.3196472} }

64. SANER

    Soto, M., & Le Goues, C. (2018). Using a Probabilistic Model to Predict Bug Fixes. International Conference on Software Analysis, Evolution, And Reengineering, 221–231. https://doi.org/10.1109/SANER.2018.8330211 PDF · Code · DOI · BibTeX @inproceedings{SotoProbabilistic2018, author = {Soto, Mauricio and {Le~Goues}, Claire}, title = {Using a Probabilistic Model to Predict Bug Fixes}, booktitle = {International Conference on Software Analysis, Evolution, and Reengineering}, series = {SANER '18}, pages = {221--231}, year = {2018}, location = {Campobasso, Italy}, doi = {10.1109/SANER.2018.8330211} }

65. ICST

    Timperley, C. S., Afzal, A., Katz, D., Hernandez, J. M., & Le Goues, C. (2018). Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early? International Conference on Software Testing, Validation And Verification, 331–342. https://doi.org/10.1109/ICST.2018.00040 PDF · Data · DOI · BibTeX @inproceedings{TimperleyCrashing2018, author = {Timperley, Christopher Steven and Afzal, Afsoon and Katz, Deborah and Hernandez, Jam Marcos and {Le~Goues}, Claire}, title = {Crashing Simulated Planes is Cheap: {C}an Simulation Detect Robotics Bugs Early?}, booktitle = {International Conference on Software Testing, Validation and Verification}, series = {ICST '18}, pages = {331--342}, year = {2018}, location = {V{\"{a}}ster{\aa}s, Sweden}, doi = {10.1109/ICST.2018.00040} }

66. EMSE

    Le, X.-B. D., Thung, F., Lo, D., & Le Goues, C. (2018). Overfitting in Semantics-based Automated Program Repair. Empirical Software Engineering. https://doi.org/10.1007/s10664-017-9577-2 PDF · DOI · BibTeX @article{XuanBachOverfitting2018, author = {Le, Xuan-Bach D. and Thung, Ferdian and Lo, David and {Le~Goues}, Claire}, title = {Overfitting in Semantics-based Automated Program Repair}, journal = {Empirical Software Engineering}, year = {2018}, doi = {10.1007/s10664-017-9577-2} }

67. ICSE

    Le, X.-B. D., Thung, F., Lo, D., & Le Goues, C. (2018). Overfitting in Semantics-Based Automated Program Repair. International Conference on Software Engineering, 163. https://doi.org/10.1145/3180155.3182536 PDF · DOI · BibTeX @inproceedings{XuanBachOverfittingJF2018, author = {Le, Xuan-Bach D. and Thung, Ferdian and Lo, David and {Le~Goues}, Claire}, title = {Overfitting in Semantics-Based Automated Program Repair}, booktitle = {International Conference on Software Engineering}, series = {ICSE (Journal First) '18}, pages = {163}, year = {2018}, publisher = {ACM}, location = {Gothenburg, Sweden}, doi = {10.1145/3180155.3182536} }

68. GECCO

    de Souza, E. F., Le Goues, C., & Camilo-Junior, C. G. (2018). A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints. Proceedings of the Genetic and Evolutionary Computation Conference, 1443–1450. PDF · BibTeX @inproceedings{deSouzaFitness2018, author = {{de~Souza}, Eduardo Faria and {Le~Goues}, Claire and Camilo-Junior, Celso Goncalves}, title = {A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference}, series = {GECCO '18}, pages = {1443--1450}, year = {2018}, publisher = {ACM}, location = {Kyoto, Japan} }

69. IEEE Software

    Le Goues, C., Jaspan, C., Ozkaya, I., Shaw, M., & Stolee, K. T. (2018). Bridging the Gap: From Research to Practical Advice. IEEE Software, 35(5), 50–57. https://doi.org/10.1109/MS.2018.3571235 PDF · DOI · BibTeX @article{sw18ebm, author = {{Le~Goues}, Claire and Jaspan, Ciera and Ozkaya, Ipek and Shaw, Mary and Stolee, Kathryn T.}, title = {Bridging the Gap: From Research to Practical Advice}, journal = {{IEEE} Software}, volume = {35}, number = {5}, pages = {50--57}, year = {2018}, doi = {10.1109/MS.2018.3571235} }

70. ICSE

    van Tonder, R., & Le Goues, C. (2018). Static Automated Program Repair for Heap Properties. International Conference on Software Engineering, 151–162. https://doi.org/10.1145/3180155.3180250 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{vanTonderHeapProperties2018, author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire}, title = {Static Automated Program Repair for Heap Properties}, booktitle = {International Conference on Software Engineering}, series = {ICSE '18}, pages = {151--162}, year = {2018}, publisher = {ACM}, location = {Gothenburg, Sweden}, doi = {10.1145/3180155.3180250} }

71. ICSE

    van Tonder, R., & Le Goues, C. (2018). Cross-Architecture Lifter Synthesis. International Conference on Software Engineering and Formal Methods, 10886, 155–170. https://doi.org/10.1007/978-3-319-92970-5_10 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{vanTonderLifterSynthesis2018, author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire}, title = {Cross-Architecture Lifter Synthesis}, booktitle = {International Conference on Software Engineering and Formal Methods}, series = {SEFM '18}, volume = {10886}, pages = {155--170}, year = {2018}, publisher = {Springer}, location = {Toulouse, France}, doi = {10.1007/978-3-319-92970-5_10} }

72. ASE

    van Tonder, R., Kotheimer, J., & Le Goues, C. (2018). Semantic Crash Bucketing. International Conference on Automated Software Engineering. https://doi.org/10.1145/3238147.3238200 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{vanTonderSCB2018, author = {{van~Tonder}, Rijnard and Kotheimer, John and {Le~Goues}, Claire}, title = {Semantic Crash Bucketing}, booktitle = {International Conference on Automated Software Engineering}, series = {ASE '18}, year = {2018}, doi = {10.1145/3238147.3238200} }

73. ICSME

    Coker, Z., Damevski, K., Le Goues, C., Kraft, N. A., Shepherd, D., & Pollock, L. (2017). Behavior Metrics for Prioritizing Investigations of Exceptions. International Conference on Software Maintenance And Evolution, 554–563. https://doi.org/10.1109/ICSME.2017.62 PDF · Slides (PowerPoint) · DOI · BibTeX @inproceedings{CokerBehavior2017, author = {Coker, Zack and Damevski, Kostadin and {Le~Goues}, Claire and Kraft, Nicholas A. and Shepherd, David and Pollock, Lori}, title = {Behavior Metrics for Prioritizing Investigations of Exceptions}, booktitle = {International Conference on Software Maintenance and Evolution}, series = {ICSME '17}, pages = {554--563}, year = {2017}, doi = {10.1109/ICSME.2017.62} }

74. TSE

    Le Goues, C., Brun, Y., Forrest, S., & Weimer, W. (2017). Clarifications on the Construction and Use of the ManyBugs Benchmark (Comment Paper). IEEE Transactions on Software Engineering, 43(11), 1089–1090. https://doi.org/10.1109/TSE.2017.2755651 PDF · DOI · BibTeX @article{LeGouesClarifications2017, author = {{Le~Goues}, Claire and Brun, Yuriy and Forrest, Stephanie and Weimer, Westley}, title = {Clarifications on the Construction and Use of the {M}any{B}ugs Benchmark (Comment Paper)}, journal = {{IEEE} Transactions on Software Engineering}, volume = {43}, number = {11}, pages = {1089--1090}, year = {2017}, doi = {10.1109/TSE.2017.2755651} }

75. EMSE

    Le Goues, C., & Yoo, S. (2017). Guest Editorial for Special Section on Research in Search-Based Software Engineering. Empirical Software Engineering, 22(2), 849–851. https://doi.org/10.1007/s10664-017-9504-6 PDF · DOI · BibTeX @article{LeGouesGuest2017, author = {{Le~Goues}, Claire and Yoo, Shin}, title = {Guest Editorial for Special Section on Research in Search-Based Software Engineering}, journal = {Empirical Software Engineering}, volume = {22}, number = {2}, pages = {849--851}, year = {2017}, doi = {10.1007/s10664-017-9504-6} }

76. SNAPL

    Omar, C., Voysey, I., Hilton, M., Sunshine, J., Le Goues, C., Aldrich, J., & Hammer, M. (2017). Toward Semantic Foundations for Program Editors. Summit on Advances in Programming Languages, 11:1–11:12. https://doi.org/10.4230/LIPIcs.SNAPL.2017.11 PDF · DOI · BibTeX @inproceedings{OmarSemantic2017, author = {Omar, Cyrus and Voysey, Ian and Hilton, Michael and Sunshine, Joshua and {Le~Goues}, Claire and Aldrich, Jonathan and Hammer, Matthew}, title = {Toward Semantic Foundations for Program Editors}, booktitle = {Summit on Advances in Programming Languages}, series = {SNAPL '17}, pages = {11:1--11:12}, year = {2017}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, location = {Asilomar, CA, USA}, doi = {10.4230/LIPIcs.SNAPL.2017.11} }

77. MSR

    Soto, M., Coker, Z., & Le Goues, C. (2017). Analyzing the Impact of Social Attributes on Commit Integration Success. International Conference on Mining Software Repositories, 483–486. https://doi.org/10.1109/MSR.2017.34 PDF · Code · Data · Results · DOI · BibTeX @inproceedings{SotoMSRChallenge2017, author = {Soto, Mauricio and Coker, Zack and {Le~Goues}, Claire}, title = {Analyzing the Impact of Social Attributes on Commit Integration Success}, booktitle = {International Conference on Mining Software Repositories}, series = {MSR Challenge ’17}, pages = {483--486}, year = {2017}, doi = {10.1109/MSR.2017.34}, results = {https://github.com/squaresLab/MSR-challenge-2017} }

78. SSBSE

    Timperley, C. S., Stepney, S., & Le Goues, C. (2017). An Investigation into the Use of Mutation Analysis for Automated Program Repair. International Symposium on Search Based Software Engineering, 10452, 99–114. https://doi.org/10.1007/978-3-319-66299-2_7 PDF · DOI · BibTeX @inproceedings{TimperleyMBFL2017, author = {Timperley, Christopher Steven and Stepney, Susan and {Le~Goues}, Claire}, title = {An Investigation into the Use of Mutation Analysis for Automated Program Repair}, booktitle = {International Symposium on Search Based Software Engineering}, series = {SSBSE '17}, volume = {10452}, pages = {99--114}, year = {2017}, publisher = {Springer}, location = {Paderborn, Germany}, doi = {10.1007/978-3-319-66299-2_7} }

79. ISSTA

    Le, X.-B. D., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-Based Repair of Java programs via Symbolic PathFinder. International Symposium on Software Testing and Analysis, 376–379. https://doi.org/10.1145/3092703.3098225 PDF · Tool · Website · DOI · BibTeX @inproceedings{XuanBachJFIX2017, author = {Le, Xuan-Bach D. and Chu, Duc Hiep and Lo, David and {Le~Goues}, Claire and Visser, Willem}, title = {{JFIX}: {S}emantics-Based Repair of {J}ava programs via Symbolic Path{F}inder}, booktitle = {International Symposium on Software Testing and Analysis}, series = {ISSTA TOOLS '17}, pages = {376--379}, year = {2017}, publisher = {ACM}, location = {Santa Barbara, CA, USA}, doi = {10.1145/3092703.3098225}, website = {https://xuanbachle.github.io/semanticsrepair/} }

80. ESEC/FSE

    Le, X.-B. D., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples. Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering, 593–604. https://doi.org/10.1145/3106237.3106309 PDF · Tool · Website · DOI · BibTeX @inproceedings{XuanBachS32017, author = {Le, Xuan-Bach D. and Chu, Duc Hiep and Lo, David and {Le~Goues}, Claire and Visser, Willem}, title = {S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples}, booktitle = {Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering}, series = {ESEC/FSE '17}, pages = {593--604}, year = {2017}, publisher = {{ACM}}, location = {Paderborn, Germany}, doi = {10.1145/3106237.3106309}, website = {https://xuanbachle.github.io/semanticsrepair/} }

81. MSR

    Kery, M. B., Le Goues, C., & Myers, B. A. (2016). Examining Programmer Practices for Locally Handling Exceptions. International Conference on Mining Software Repositories, 484–487. https://doi.org/10.1145/2901739.2903497 PDF · DOI · BibTeX @inproceedings{KerryExceptions2016, author = {Kery, Mary Beth and {Le~Goues}, Claire and Myers, Brad A.}, title = {Examining Programmer Practices for Locally Handling Exceptions}, booktitle = {International Conference on Mining Software Repositories}, series = {MSR Challenge '16}, pages = {484--487}, year = {2016}, publisher = {{ACM}}, location = {Austin, TX, USA}, doi = {10.1145/2901739.2903497} }

82. ISSTA

    B. Le, T.-D., Lo, D., Le Goues, C., & Grunske, L. (2016). A Learning-to-Rank Based Fault Localization Approach using Likely Invariants. International Symposium on Software Testing and Analysis, 177–188. https://doi.org/10.1145/2931037.2931049 PDF · DOI · BibTeX @inproceedings{LeLikelyInvariants2016, author = {B. Le, Tien-Duy and Lo, David and {Le~Goues}, Claire and Grunske, Lars}, title = {A Learning-to-Rank Based Fault Localization Approach using Likely Invariants}, booktitle = {International Symposium on Software Testing and Analysis}, series = {ISSTA '16}, pages = {177--188}, year = {2016}, publisher = {ACM}, location = {Saarbr{\"{u}}cken, Germany}, doi = {10.1145/2931037.2931049} }

83. SSBSE

    Oliveira, V. P. L., Souza, E. F. D., Le Goues, C., & Camilo-Junior, C. G. (2016). Improved Crossover Operators for Genetic Programming for Program Repair. International Symposium on Search Based Software Engineering, 9962, 112–127. https://doi.org/10.1007/978-3-319-47106-8_8 PDF · DOI · BibTeX @inproceedings{OliveiraCrossover2016, author = {Oliveira, Vinicius Paulo L. and Souza, Eduardo F. D. and {Le~Goues}, Claire and Camilo{-}Junior, Celso G.}, title = {Improved Crossover Operators for Genetic Programming for Program Repair}, booktitle = {International Symposium on Search Based Software Engineering}, series = {Lecture Notes in Computer Science}, volume = {9962}, pages = {112--127}, year = {2016}, location = {Raleigh, NC, USA}, doi = {10.1007/978-3-319-47106-8_8} }

84. MSR

    Soto, M., Thung, F., Wong, C.-P., Le Goues, C., & Lo, D. (2016). A Deeper Look into Bug Fixes: Patterns, Replacements, Deletions, and Additions. International Conference on Mining Software Repositories, 512–515. https://doi.org/10.1145/2901739.2903495 PDF · DOI · BibTeX @inproceedings{SotoMSRChallenge2016, author = {Soto, Mauricio and Thung, Ferdian and Wong, Chu-Pan and {Le~Goues}, Claire and Lo, David}, title = {A Deeper Look into Bug Fixes: {P}atterns, Replacements, Deletions, and Additions}, booktitle = {International Conference on Mining Software Repositories}, series = {MSR Challenge '16}, pages = {512--515}, year = {2016}, publisher = {{ACM}}, location = {Austin, TX, USA}, doi = {10.1145/2901739.2903495} }

85. ICPC

    Tian, Y., Wijedasa, D., Lo, D., & Le Goues, C. (2016). Learning to Rank for Bug Report Assignee Recommendation. International Conference on Program Comprehension, 1–10. https://doi.org/10.1109/ICPC.2016.7503715 PDF · DOI · BibTeX @inproceedings{TianRecommendation2016, author = {Tian, Yuan and Wijedasa, Dinusha and Lo, David and {Le~Goues}, Claire}, title = {Learning to Rank for Bug Report Assignee Recommendation}, booktitle = {International Conference on Program Comprehension}, series = {ICPC '16}, pages = {1--10}, year = {2016}, publisher = {{IEEE} Computer Society}, location = {Austin, TX, USA}, doi = {10.1109/ICPC.2016.7503715} }

86. ICSME

    Le, X.-B. D., Le, Q. L., Lo, D., & Le Goues, C. (2016). Enhancing Automated Program Repair with Deductive Verification. International Conference on Software Maintenance and Evolution, 428–432. https://doi.org/10.1109/ICSME.2016.66 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{XuanBachDeductive2016, author = {Le, Xuan-Bach D. and Le, Quang Loc and Lo, David and {Le~Goues}, Claire}, title = {Enhancing Automated Program Repair with Deductive Verification}, booktitle = {International Conference on Software Maintenance and Evolution}, series = {ICSME ERA '16}, pages = {428--432}, year = {2016}, publisher = {{IEEE} Computer Society}, location = {Raleigh, NC, USA}, doi = {10.1109/ICSME.2016.66} }

87. SANER

    Le, X.-B. D., Lo, D., & Le Goues, C. (2016). History Driven Program Repair. International Conference on Software Analysis, Evolution, And Reengineering, 1, 213–224. https://doi.org/10.1109/SANER.2016.76 PDF · Data · DOI · BibTeX @inproceedings{XuanBachHistory2016, author = {Le, Xuan-Bach D. and Lo, David and {Le~Goues}, Claire}, title = {History Driven Program Repair}, booktitle = {International Conference on Software Analysis, Evolution, and Reengineering}, series = {SANER '16}, volume = {1}, pages = {213-224}, year = {2016}, publisher = {{IEEE} Computer Society}, location = {Osaka, Japan}, doi = {10.1109/SANER.2016.76} }

88. ICPC

    van Tonder, R., & Le Goues, C. (2016). Defending Against the Attack of the Micro-Clones. International Conference on Program Comprehension, 1–4. https://doi.org/10.1109/ICPC.2016.7503736 PDF · DOI · BibTeX @inproceedings{vanTonderMicroClones2016, author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire}, title = {Defending Against the Attack of the Micro-Clones}, booktitle = {International Conference on Program Comprehension}, series = {ICPC Short '16}, pages = {1--4}, year = {2016}, publisher = {{IEEE} Computer Society}, location = {Austin, TX, USA}, doi = {10.1109/ICPC.2016.7503736} }

89. ACSAC

    Coker, Z., Maass, M., Ding, T., Le Goues, C., & Sunshine, J. (2015). Evaluating the Flexibility of the Java Sandbox. Annual Computer Security Applications Conference, 1–10. https://doi.org/10.1145/2818000.2818003 PDF · Slides (PowerPoint) · Code · DOI · BibTeX @inproceedings{CokerEvaluating2015, author = {Coker, Zack and Maass, Michael and Ding, Tianyuan and {Le~Goues}, Claire and Sunshine, Joshua}, title = {Evaluating the Flexibility of the Java Sandbox}, booktitle = {Annual Computer Security Applications Conference}, series = {ACSAC '15}, pages = {1--10}, year = {2015}, doi = {10.1145/2818000.2818003} }

90. ASE

    Ke, Y., Stolee, K. T., Le Goues, C., & Brun, Y. (2015). Repairing Programs with Semantic Code Search. Automated Software Engineering, 532–543. https://doi.org/10.1109/ASE.2015.60 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{KeSearchRepair2015, author = {Ke, Yalin and Stolee, Kathryn T. and {Le~Goues}, Claire and Brun, Yuriy}, title = {Repairing Programs with Semantic Code Search}, booktitle = {Automated Software Engineering}, series = {ASE '15}, pages = {532--543}, year = {2015}, doi = {10.1109/ASE.2015.60} }

91. TSE

    Le Goues, C., Holtschulte, N., Smith, E. K., Brun, Y., Devanbu, P., Forrest, S., & Weimer, W. (2015). The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Transactions on Software Engineering, 41(12), 1236–1256. https://doi.org/10.1109/TSE.2015.2454513 PDF · Website · DOI · BibTeX @article{LeGouesManyBugs2015, author = {{Le~Goues}, Claire and Holtschulte, Neal and Smith, Edward K. and Brun, Yuriy and Devanbu, Premkumar and Forrest, Stephanie and Weimer, Westley}, title = {The {ManyBugs} and {IntroClass} Benchmarks for Automated Repair of {C} Programs}, journal = {{IEEE} Transactions on Software Engineering}, volume = {41}, number = {12}, pages = {1236--1256}, year = {2015}, doi = {10.1109/TSE.2015.2454513}, website = {https://repairbenchmarks.cs.umass.edu} }

92. ESEC/FSE

    Smith, E. K., Barr, E., Le Goues, C., & Brun, Y. (2015). Is the Cure Worse than the Disease? Overfitting in Automated Program Repair. Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering, 532–543. https://doi.org/10.1145/2786805.2786825 PDF · DOI · BibTeX @inproceedings{SmithOverfitting2015, author = {Smith, Edward K. and Barr, Earl and {Le~Goues}, Claire and Brun, Yuriy}, title = {Is the Cure Worse than the Disease? {O}verfitting in Automated Program Repair}, booktitle = {Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering}, series = {ESEC/FSE '15}, pages = {532--543}, year = {2015}, publisher = {ACM}, location = {Bergamo, Italy}, doi = {10.1145/2786805.2786825} }

93. SQJO

    Le Goues, C., Forrest, S., & Weimer, W. (2013). Current challenges in automatic software repair. Software Quality Journal, 21(3), 421–443. https://doi.org/10.1007/s11219-013-9208-0 PDF · DOI · BibTeX @article{sqjo13, author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, title = {Current challenges in automatic software repair}, journal = {Software Quality Journal}, volume = {21}, number = {3}, pages = {421--443}, year = {2013}, doi = {10.1007/s11219-013-9208-0} }

94. GECCO

    Le Goues, C., Forrest, S., & Weimer, W. (2012). Representations and Operators for Improving Evolutionary Software Repair. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 959–966. https://doi.org/10.1145/2330163.2330296 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues12gecco, title = {Representations and Operators for Improving Evolutionary Software Repair}, doi = {10.1145/2330163.2330296}, author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, year = {2012}, publisher = {{ACM}}, pages = {959-966}, location = {Philadelphia, PA, USA} }

95. ICSE

    Le Goues, C., Dewey-Vogt, M., Forrest, S., & Weimer, W. (2012). A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8 Each. Proceedings of the 34th International Conference on Software Engineering (ICSE), 3–13. https://doi.org/10.1109/ICSE.2012.6227211 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues12icse, title = {A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for \$8 Each}, author = {Le~Goues, Claire and Dewey-Vogt, Michael and Forrest, Stephanie and Weimer, Westley}, booktitle = {Proceedings of the 34th International Conference on Software Engineering (ICSE)}, doi = {10.1109/ICSE.2012.6227211}, year = {2012}, location = {Zurich, Switzerland}, pages = {3--13}, publisher = {{IEEE} Computer Society} }

96. TSE

    Le Goues, C., Nguyen, T. V., Forrest, S., & Weimer, W. (2012). GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Software Eng., 38(1), 54–72. https://doi.org/10.1109/TSE.2011.104 PDF · DOI · BibTeX @article{genprog12tse, author = {{Le~Goues}, Claire and Nguyen, ThanhVu and Forrest, Stephanie and Weimer, Westley}, title = {GenProg: {A} Generic Method for Automatic Software Repair}, journal = {{IEEE} Trans. Software Eng.}, volume = {38}, number = {1}, pages = {54--72}, year = {2012}, doi = {10.1109/TSE.2011.104} }

97. TSE

    Le Goues, C., & Weimer, W. (2012). Measuring Code Quality to Improve Specification Mining. IEEE Trans. Software Eng., 38(1), 175–190. https://doi.org/10.1109/TSE.2011.5 PDF · DOI · BibTeX @article{specmining12tse, author = {{Le~Goues}, Claire and Weimer, Westley}, title = {Measuring Code Quality to Improve Specification Mining}, journal = {{IEEE} Trans. Software Eng.}, volume = {38}, number = {1}, pages = {175--190}, year = {2012}, doi = {10.1109/TSE.2011.5} }

98. CACM

    Weimer, W., Forrest, S., Le Goues, C., & Nguyen, T. V. (2010). Automatic program repair with evolutionary computation. Communications of the ACM Research Highlight, 53(5), 109–116. https://doi.org/10.1145/1735223.1735249 PDF · DOI · BibTeX @article{genprog-cacm10, title = {Automatic program repair with evolutionary computation}, journal = {Communications of the ACM Research Highlight}, author = {Weimer, Westley and Forrest, Stephanie and {Le~Goues}, Claire and Nguyen, ThanhVu}, number = {5}, volume = {53}, year = {2010}, pages = {109--116}, doi = {10.1145/1735223.1735249} }

99. GECCO

    Fast, E., Le Goues, C., Forrest, S., & Weimer, W. (2010). Designing better fitness functions for automated program repair. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 965–972. https://doi.org/10.1145/1830483.1830654 PDF · DOI · BibTeX @inproceedings{fast10gecco, title = {Designing better fitness functions for automated program repair}, doi = {10.1145/1830483.1830654}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, author = {Fast, Ethan and {Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, location = {Portland, OR, USA}, year = {2010}, publisher = {{ACM}}, pages = {965-972} }

100. GECCO

     Forrest, S., Weimer, W., Nguyen, T. V., & Le Goues, C. (2009). A genetic programming approach to automated software repair. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 947–954. https://doi.org/10.1145/1569901.1570031 PDF · DOI · BibTeX @inproceedings{forrest09gecco, title = {A genetic programming approach to automated software repair}, doi = {10.1145/1569901.1570031}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, author = {Forrest, Stephanie and Weimer, Westley and Nguyen, ThanhVu and {Le~Goues}, Claire}, year = {2009}, pages = {947-954}, location = {Montreal, Qu{\'{e}}bec, Canada}, publisher = {{ACM}} }

101. ICSE

     Weimer, W., Nguyen, T. V., Le Goues, C., & Forrest, S. (2009). Automatically Finding Patches Using Genetic Programming. Proceedings of the 31st International Conference on Software Engineering (ICSE), 364–374. https://doi.org/10.1109/ICSE.2009.5070536 PDF · DOI · BibTeX @inproceedings{weimer09icse, title = {Automatically Finding Patches Using Genetic Programming}, doi = {10.1109/ICSE.2009.5070536}, booktitle = {Proceedings of the 31st International Conference on Software Engineering (ICSE)}, year = {2009}, location = {Vancouver, Canada}, publisher = {{IEEE}}, pages = {364--374}, author = {Weimer, Westley and Nguyen, ThanhVu and {Le~Goues}, Claire and Forrest, Stephanie} }

102. TACAS

     Le Goues, C., & Weimer, W. (2009). Specification Mining with Few False Positives. Proceedings of the 15th Annual Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS), 5505, 292–306. https://doi.org/10.1007/978-3-642-00768-2_26 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues09tacas, title = {Specification Mining with Few False Positives.}, doi = {10.1007/978-3-642-00768-2_26}, ee = {http://dx.doi.org/10.1007/978-3-642-00768-2_26}, booktitle = {Proceedings of the 15th Annual Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS)}, author = {Le~Goues, Claire and Weimer, Westley}, year = {2009}, location = {York, UK}, pages = {292--306}, series = {Lecture Notes in Computer Science}, volume = {5505}, publisher = {Springer} }

Short or Workshop Publications

1. AST

   Jain, K., Kate, K., Tsay, J., Le Goues, C., & Hirzel, M. (2025). Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning. IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2025, 91–102. https://doi.org/10.1109/AST66626.2025.00016 PDF · Code · DOI · BibTeX @inproceedings{jain2025ast, author = {Jain, Kush and Kate, Kiran and Tsay, Jason and {Le~Goues}, Claire and Hirzel, Martin}, title = {Improving Examples in Web {API} Specifications using Iterated-Calls In-Context Learning}, booktitle = {IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2025}, pages = {91--102}, year = {2025}, doi = {10.1109/AST66626.2025.00016} }

2. LLM4Code

   Ramos, D., Mamede, C., Jain, K., Canelas, P., Gamboa, C., & Le Goues, C. (2025). Are Large Language Models Memorizing Bug Benchmarks? IEEE/ACM International Workshop on Large Language Models for Code, LLM4Code@ICSE 2025, 1–8. https://doi.org/10.1109/LLM4CODE66737.2025.00005 PDF · DOI · BibTeX @inproceedings{ramos2025llm4code, author = {Ramos, Daniel and Mamede, Cl{\'a}udia and Jain, Kush and Canelas, Paulo and Gamboa, Catarina and {Le~Goues}, Claire}, title = {Are Large Language Models Memorizing Bug Benchmarks?}, booktitle = {IEEE/ACM International Workshop on Large Language Models for Code, LLM4Code@ICSE 2025}, pages = {1--8}, year = {2025}, doi = {10.1109/LLM4CODE66737.2025.00005} }

3. DSN-S

   Hutchison, C., Zizyte, M., Guttendorf, D., Le Goues, C., & Koopman, P. (2024). Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems. Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Supplemental Volume, 118–124. https://doi.org/10.1109/DSN-S60304.2024.00037 PDF · DOI · BibTeX @inproceedings{hutchison2024dsn, author = {Hutchison, Casidhe and Zizyte, Milda and Guttendorf, David and {Le~Goues}, Claire and Koopman, Philip}, title = {Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems}, booktitle = {Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Supplemental Volume}, pages = {118--124}, year = {2024}, doi = {10.1109/DSN-S60304.2024.00037} }

4. DL4C

   Shypula, A. G., Yin, P., Lacomis, J., Le Goues, C., Schwartz, E. J., & Neubig, G. (2022). Learning to Superoptimize Real-World Programs. Deep Learning for Code Workshop. PDF · BibTeX @inproceedings{ShypulaSuperoptimization2022, author = {Shypula, Alexander G. and Yin, Pengcheng and Lacomis, Jeremy and {Le~Goues}, Claire and Schwartz, Edward J. and Neubig, Graham}, title = {Learning to Superoptimize Real-World Programs}, booktitle = {Deep Learning for Code Workshop}, series = {DL4C '22}, year = {2022} }

5. ICSE SEIP

   Groce, A., Jain, K., van Tonder, R., Kalburgi, G. T., & Le Goues, C. (2022). Looking for Lacunae in Bitcoin Core’s Fuzzing Efforts. 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 185–186. https://doi.org/10.1145/3510457.3513072 PDF · DOI · BibTeX @inproceedings{groceBitcoinFuzzing, author = {Groce, Alex and Jain, Kush and {van~Tonder}, Rijnard and Kalburgi, Goutamkumar Tulajappa and {Le~Goues}, Claire}, title = {Looking for Lacunae in Bitcoin Core's Fuzzing Efforts}, booktitle = {2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)}, volume = {}, number = {}, pages = {185-186}, year = {2022}, doi = {10.1145/3510457.3513072} }

6. FUZZING

   Groce, A., Kalburgi, G. T., Jain, K., Le Goues, C., & Gopinath, R. (2022). Registered Report: First, Fuzz the Mutants. Proceedings of the 1st International Fuzzing Workshop. PDF · BibTeX @article{groceFuzzTheMutants, author = {Groce, Alex and Kalburgi, Goutamkumar Tulajappa and Jain, Kush and {Le~Goues}, Claire and Gopinath, Rahul}, title = {Registered Report: First, Fuzz the Mutants}, booktitle = {Proceedings of the 1st International Fuzzing Workshop}, series = {FUZZING 22}, year = {2022} }

7. DSN Industry

   Zizyte, M., Hutchison, C., Duvall, R., Le Goues, C., & Koopman, P. (2021). The Importance of Safety Invariants in Robustness Testing Autonomy Systems. 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021 - Supplemental Volume, 41–44. https://doi.org/10.1109/DSN-S52858.2021.00028 PDF · DOI · BibTeX @inproceedings{zizyte21dsn, author = {Zizyte, Milda and Hutchison, Casidhe and Duvall, Raewyn and {Le~Goues}, Claire and Koopman, Philip}, title = {The Importance of Safety Invariants in Robustness Testing Autonomy Systems}, booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2021 - Supplemental Volume}, pages = {41--44}, year = {2021}, publisher = {{IEEE}}, doi = {10.1109/DSN-S52858.2021.00028} }

8. Industry

   Katz, D. S., Zizyte, M., Hutchison, C., Guttendorf, D., Lanigan, P. E., Sample, E., Koopman, P., Wagner, M., & Le Goues, C. (2020). Robustness Inside Out Testing. Dependable Systems and Networks – Industry Track, 1–4. https://doi.org/10.1109/DSN-S50200.2020.00013 PDF · Video · DOI · BibTeX @inproceedings{KatzRIOT2020, author = {Katz, Deborah S. and Zizyte, Milda and Hutchison, Casidhe and Guttendorf, David and Lanigan, Patrick E. and Sample, Eric and Koopman, Philip and Wagner, Michael and {Le~Goues}, Claire}, title = {Robustness Inside Out Testing}, booktitle = {Dependable Systems and Networks -- Industry Track}, series = {DSN-I}, pages = {1--4}, year = {2020}, doi = {10.1109/DSN-S50200.2020.00013}, video = {https://youtu.be/WAkFLtEQepU?si=KQdRlfvedl3YA1GY} }

9. GI

   Ding, Z. Y., Lyu, Y., Timperley, C. S., & Le Goues, C. (2019). Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair. Genetic Improvement Workshop, 2–9. https://doi.org/10.1109/GI.2019.00011 PDF · DOI · BibTeX @inproceedings{DingLyuGI2019, author = {Ding, {Zhen~Yu} and Lyu, Yiwei and Timperley, Christopher S. and {Le~Goues}, Claire}, title = {Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair}, booktitle = {Genetic Improvement Workshop}, series = {GI '19}, pages = {2--9}, year = {2019}, doi = {10.1109/GI.2019.00011} }

10. BotSE

    van Tonder, R., & Le Goues, C. (2019). Towards s/engineer/bot: Principles for Program Repair Bots. 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), 43–47. https://doi.org/10.1109/BotSE.2019.00019 PDF · Tool · DOI · BibTeX @inproceedings{botse19, author = {{van~Tonder}, Rijnard and {Le~Goues}, Claire}, title = {Towards s/engineer/bot: Principles for Program Repair Bots}, booktitle = {2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE)}, volume = {}, number = {}, pages = {43-47}, year = {2019}, doi = {10.1109/BotSE.2019.00019}, issn = {} }

11. GI

    Afzal, A., Lacomis, J., Le Goues, C., & Timperley, C. S. (2018). A Turing Test for Genetic Improvement. Genetic Improvement Workshop, 17–18. PDF · BibTeX @inproceedings{AfzalTuringTest2018, author = {Afzal, Afsoon and Lacomis, Jeremy and {Le~Goues}, Claire and Timperley, Christopher S.}, title = {A Turing Test for Genetic Improvement}, booktitle = {Genetic Improvement Workshop}, series = {GI '18}, pages = {17--18}, year = {2018} }

12. AAAI Workshop

    Lacomis, J., Jaffe, A., Schwartz, E. J., Le Goues, C., & Vasilescu, B. (2018). Statistical Machine Translation is a Natural Fit for Identifier Renaming in Software Source Code. Statistical Modeling of Natural Software Corpora, 2018 AAAI Workshop, 771–774. PDF · BibTeX @inproceedings{LacomisSMTRenaming2018, author = {Lacomis, Jeremy and Jaffe, Alan and Schwartz, Edward J. and {Le~Goues}, Claire and Vasilescu, Bogdan}, title = {Statistical Machine Translation is a Natural Fit for Identifier Renaming in Software Source Code}, booktitle = {Statistical Modeling of Natural Software Corpora, 2018 {AAAI} Workshop}, pages = {771--774}, year = {2018} }

13. Companion

    Timperley, C. S., Stepney, S., & Le Goues, C. (2018). Poster: BugZoo: A Platform for Studying Software Bugs. International Conference on Software Engineering: Companion Proceedings, 446–447. https://doi.org/10.1145/3183440.3195050 PDF · Poster · Tool · DOI · BibTeX @inproceedings{TimperleyBugZooPoster2018, author = {Timperley, Christopher Steven and Stepney, Susan and {Le~Goues}, Claire}, title = {Poster: BugZoo: A Platform for Studying Software Bugs}, booktitle = {International Conference on Software Engineering: Companion Proceedings}, series = {ICSE Poster '18}, pages = {446--447}, year = {2018}, publisher = {ACM}, location = {Gothenburg, Sweden}, doi = {10.1145/3183440.3195050} }

14. DSN Industry

    Weimer, W., Forrest, S., Kim, M., Le Goues, C., & Hurley, P. (2016). Trusted Software Repair for System Resiliency. International Conference on Dependable Systems and Networks Workshops, 238–241. https://doi.org/10.1109/DSN-W.2016.64 PDF · DOI · BibTeX @inproceedings{WeimerTrustedRepair2016, author = {Weimer, Westley and Forrest, Stephanie and Kim, Miryung and {Le~Goues}, Claire and Hurley, Patrick}, title = {Trusted Software Repair for System Resiliency}, booktitle = {International Conference on Dependable Systems and Networks Workshops}, series = {DSN Workshops '16}, pages = {238--241}, year = {2016}, publisher = {{IEEE} Computer Society}, location = {Toulouse, France}, doi = {10.1109/DSN-W.2016.64} }

15. ICSME ERA

    Le, X.-B. D., Lo, D., & Le Goues, C. (2016). Empirical Study on Synthesis Engines for Semantics-based Program Repair. International Conference on Software Maintenance And Evolution, 423–427. https://doi.org/10.1109/ICSME.2016.68 PDF · Slides (PDF) · Code · DOI · BibTeX @inproceedings{XuanBachSynthesisEngines2016, author = {Le, Xuan-Bach D. and Lo, David and {Le~Goues}, Claire}, title = {Empirical Study on Synthesis Engines for Semantics-based Program Repair}, booktitle = {International Conference on Software Maintenance and Evolution}, series = {ICSME ERA '16}, pages = {423--427}, year = {2016}, publisher = {{IEEE} Computer Society}, location = {Raleigh, NC, USA}, doi = {10.1109/ICSME.2016.68} }

16. SEAMS Position

    Coker, Z., Garlan, D., & Le Goues, C. (2015). SASS: Self-adaptation Using Stochastic Search. Software Engineering for Adaptive and Self-Managing Systems, 168–174. https://doi.org/10.1109/SEAMS.2015.16 PDF · Slides (PowerPoint) · Code · DOI · BibTeX @inproceedings{CokerSASS2015, author = {Coker, Zack and Garlan, David and {Le~Goues}, Claire}, title = {{SASS}: {S}elf-adaptation Using Stochastic Search}, booktitle = {Software Engineering for Adaptive and Self-Managing Systems}, series = {SEAMS '15}, pages = {168--174}, year = {2015}, doi = {10.1109/SEAMS.2015.16} }

17. SEFM Tools

    Le Goues, C., Leino, K. R. M., & Moskal, M. (2011). The Boogie Verification Debugger (Tool Paper). Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM), 7041, 407–414. https://doi.org/10.1007/978-3-642-24690-6_28 PDF · DOI · BibTeX @inproceedings{legoues11sefm, author = {{Le~Goues}, Claire and Leino, K. Rustan M. and Moskal, Michal}, title = {The Boogie Verification Debugger (Tool Paper)}, booktitle = {Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM)}, pages = {407--414}, year = {2011}, location = {Montevideo, Uruguay}, series = {Lecture Notes in Computer Science}, volume = {7041}, publisher = {Springer}, doi = {10.1007/978-3-642-24690-6_28} }

18. FoSER

    Le Goues, C., Forrest, S., & Weimer, W. (2010). The case for software evolution. Proceedings of the Workshop on Future of Software Engineering Research (FoSER), at the 18th ACM SIGSOFT International Symposium On Foundations of Software Engineering, 205–210. https://doi.org/10.1145/1882362.1882406 PDF · Slides (PDF) · DOI · BibTeX @inproceedings{legoues10foser, author = {{Le~Goues}, Claire and Forrest, Stephanie and Weimer, Westley}, title = {The case for software evolution}, booktitle = {Proceedings of the Workshop on Future of Software Engineering Research (FoSER), at the 18th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering}, pages = {205--210}, year = {2010}, location = {Santa Fe, NM, USA}, publisher = {{ACM}}, doi = {10.1145/1882362.1882406} }

19. SBST Short

    Nguyen, T. V., Weimer, W., Le Goues, C., & Forrest, S. (2009). Extended Abstract: Using Execution Paths to Evolve Software Patches. Second International Conference on Software Testing Verification And Validation, Workshops Proceedings, 152–153. https://doi.org/10.1109/ICSTW.2009.35 DOI · BibTeX @inproceedings{nguyen09icst, author = {Nguyen, ThanhVu and Weimer, Westley and {Le~Goues}, Claire and Forrest, Stephanie}, title = {Extended Abstract: Using Execution Paths to Evolve Software Patches}, booktitle = {Second International Conference on Software Testing Verification and Validation, Workshops Proceedings}, location = {Denver, CO, USA}, publisher = {{IEEE} Computer Society}, pages = {152--153}, year = {2009}, doi = {10.1109/ICSTW.2009.35} }

Other

1. Le Goues, C., Pradel, M., Roychoudhury, A., & Chandra, S. (2021). Automatic Program Repair. IEEE Softw., 38(4), 22–27. https://doi.org/10.1109/MS.2021.3072577 PDF · DOI · BibTeX @article{legoues21ieeesw, author = {{Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik and Chandra, Satish}, title = {Automatic Program Repair}, journal = {{IEEE} Softw.}, volume = {38}, number = {4}, pages = {22--27}, year = {2021}, doi = {10.1109/MS.2021.3072577} }

2. Grundy, J., Le Goues, C., & Lo, D. (Eds.). (2020). 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020. ACM. https://doi.org/10.1145/3417113 DOI · BibTeX @proceedings{ase2020conf, editor = {Grundy, John and {Le~Goues}, Claire and Lo, David}, title = {35th {IEEE/ACM} International Conference on Automated Software Engineering Workshops, {ASE} Workshops 2020, Melbourne, Australia, September 21-25, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3417113}, doi = {10.1145/3417113}, isbn = {978-1-4503-8128-4}, timestamp = {Fri, 12 Feb 2021 15:16:32 +0100}, biburl = {https://dblp.org/rec/conf/kbse/2020w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

3. Petke, J., Le Goues, C., Forrest, S., & Langdon, W. B. (2018). Genetic Improvement of Software (Dagstuhl Seminar 18052). Dagstuhl Reports, 8(1), 158–182. https://doi.org/10.4230/DagRep.8.1.158 PDF · DOI · BibTeX @article{DagstuhlGI2018, author = {Petke, Justyna and {Le~Goues}, Claire and Forrest, Stephanie and Langdon, William B.}, title = {Genetic Improvement of Software (Dagstuhl Seminar 18052)}, journal = {Dagstuhl Reports}, volume = {8}, number = {1}, pages = {158--182}, year = {2018}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, editor = {Petke, Justyna and {Le~Goues}, Claire and Forrest, Stephanie and Langdon, William B.}, doi = {10.4230/DagRep.8.1.158}, issn = {2192-5283} }

4. Kim, S., Le Goues, C., Pradel, M., & Roychoudhury, A. (2017). Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports, 7(1), 19–31. https://doi.org/10.4230/DagRep.7.1.19 PDF · DOI · BibTeX @article{DagstuhlAPR2017, author = {Kim, Sunghun and {Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik}, title = {{Automated Program Repair (Dagstuhl Seminar 17022)}}, journal = {Dagstuhl Reports}, volume = {7}, number = {1}, pages = {19--31}, year = {2017}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, editor = {Kim, Sunghun and {Le~Goues}, Claire and Pradel, Michael and Roychoudhury, Abhik}, doi = {10.4230/DagRep.7.1.19}, issn = {2192-5283} }

5. Le Goues, C., & Yoo, S. (Eds.). (2014). Proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 (Vol. 8636). Springer. https://doi.org/10.1007/978-3-319-09940-8 DOI · BibTeX @proceedings{SSBSE2014, editor = {{Le~Goues}, Claire and Yoo, Shin}, title = {Proceedings of the 6th International Symposium on Search-Based Software Engineering, {SSBSE} 2014, Fortaleza, Brazil, August 26-29, 2014}, series = {Lecture Notes in Computer Science}, volume = {8636}, publisher = {Springer}, year = {2014}, doi = {10.1007/978-3-319-09940-8}, isbn = {978-3-319-09939-2}, timestamp = {Mon, 21 Jul 2014 13:11:30 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/ssbse/2014}, bibsource = {dblp computer science bibliography, http://dblp.org} }

6. Le Goues, C., Nguyen-Tuong, A., Chen, H., Davidson, J. W., Forrest, S., Hiser, J., Knight, J. C., & Gundy, M. V. (2013). Moving Target Defenses in the Helix Self-Regenerative Architecture. In Moving Target Defense II - Application of Game Theory and Adversarial Modeling (pp. 117–149). Springer. https://doi.org/10.1007/978-1-4614-5416-8_7 PDF · DOI · BibTeX @incollection{helix-mtd13, author = {{Le~Goues}, Claire and Nguyen-Tuong, Anh and Chen, Hao and Davidson, Jack W. and Forrest, Stephanie and Hiser, Jason and Knight, John C. and Gundy, Matthew Van}, title = {Moving Target Defenses in the Helix Self-Regenerative Architecture}, booktitle = {Moving Target Defense {II} - Application of Game Theory and Adversarial Modeling}, pages = {117--149}, year = {2013}, publisher = {Springer}, doi = {10.1007/978-1-4614-5416-8_7} }

7. Forrest, S., & Le Goues, C. (2012). Evolutionary software repair (Invited Tutorial). Genetic and Evolutionary Computation Conference (GECCO): Companion Material Proceedings, 1345–1348. https://doi.org/10.1145/2330784.2330943 DOI · BibTeX @inproceedings{gecco12tutorial, author = {Forrest, Stephanie and {Le~Goues}, Claire}, title = {Evolutionary software repair (Invited Tutorial)}, booktitle = {Genetic and Evolutionary Computation Conference (GECCO): Companion Material Proceedings}, pages = {1345--1348}, year = {2012}, doi = {10.1145/2330784.2330943}, publisher = {{ACM}}, location = {Philadelpha, PA, USA} }

Theses

1. Le Goues, C. (2013). Automatic Program Repair Using Genetic Programming [PhD thesis]. University of Virginia. PDF · BibTeX @phdthesis{legoues-dissertation, author = {{Le~Goues}, Claire}, title = {Automatic Program Repair Using Genetic Programming}, school = {University of Virginia}, year = {2013} }

2. Le Goues, C. (2009). Specification Mining With Few False Positives [Master's thesis]. University of Virginia. PDF · BibTeX @mastersthesis{legoues-masters, author = {{Le~Goues}, Claire}, title = {Specification Mining With Few False Positives}, school = {University of Virginia}, year = {2009} }