Research

My research is broadly in the field of Software Engineering and applied program analysis. I focus on automatic program improvement and repair (using stochastic or search based as well as more formal approaches such as SMT-informed semantic code search); assurance and testing, especially in light of the scale and complexity of modern evolving systems; and quality metrics.  I study software from the worlds of open source and desktop all the way to embedded and robotics systems. Note that virtually all of my work is done in collaboration with many great colleagues and students!


Publications

By default, Bibtex will butcher my last name (turning me into Goues, C.L.); I always appreciate judiciously applied brackets ({Le Goues}).

I endeavor to keep this list up to date (…with mixed success…), including links to preprints once they are available, and project web pages/source code inlined.  DBLP and Google Scholar are also good places to look. For additional information on various projects, especially reproduction information, consider my lab website, the RepairBenchmarks site, or the GenProg/evolutionary program repair site.  Feel free to contact me for any missing details.

Traditional publications

2018

[CACM] Claire Le Goues, Yuriy Brun, Sven Apel, Emery Berger, Sarfraz Khurshid, and Yannis Smaragdakis, Effectiveness of Anonymization in Double-Blind Review, Communications of the ACM (CACM), 2018.

[EMSE] Xuan Bach D. Le, Ferdian Thung,  David Lo, and Claire Le Goues. Overfitting in Semantics-based Automated Program Repair. Empirical Software Engineering, 2018 (accepted, to appear).

[EMSE] Vinicius Paulo L. Oliveira, Eduardo Faria de Souza, Claire Le Goues and Celso G. Camilo-Junior. Improved representation and genetic operators for linear genetic programming for automated program repairEmpirical Software Engineering, 2018 (accepted, to appear). [doi]

[ICSE] Rijnard van Tonder and Claire Le Goues. Static Automated Program Repair for Heap Properties. In Proceedings of the 40th IEEE/ACM International Conference on Software Engineering. ICSE ’18, 2018. [ code | results ]

[ICSE-SEIP] Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, and Philip Koopman. Robustness Testing of Autonomy Software. In Proceedings of the 40th IEEE/ACM International Conference on Software Engineering – Software Engineering in Practice. ICSE-SEIP ’18. 2018.

[ICPC] Alan Jaffe, Jeremy Lacomis, Edward J. Schwartz, Claire Le Goues, and Bogdan Vasilescu. Meaningful Variable Names for Decompiled Code: A Machine Translation Approach. In Proceedings of the IEEE/ACM International Conference on Program Comprehension. ICPC ’18, 2018.

[SEAMS] Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, and Claire Le Goues. Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search. In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing System. SEAMS ’18, 2018.

[GECCO] Eduardo Faria de Souza, Claire Le Goues, and Celso Goncaleves Camilo-Junior.  A Novel Fitness Function for Automated Program Repair Based on Source Code Checkpoints.  In Proceedings of the Genetic and Evolutionary Computation Conference. GECCO ’18, 2018.

[ICST] Christopher Steven Timperley, Afsoon Afzal, Deborah S. Katz, Jam Marcos Hernandez, and Claire Le Goues. Crashing simulated planes is cheap: Can simulation detect robotics bugs early? In Proceedings of the 11th International Conference on Software Testing, Validation, and Verification. ICST ’18, 2018.

[SANER] Mauricio Soto and Claire Le Goues. Using a Probabilistic Model to Predict Bug Fixes. In Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution, and Reengineering. SANER ’18, 2018.

[GI-Position] Afsoon Afzal, Jeremy Lacomis, Claire Le Goues and Christopher S. Timperley. A Turing Test for Genetic Improvement. In Proceedings of the 4th International Genetic Improvement Workshop, 2018.

[MSR-Challenge] Afsoon Afzal and Claire Le Goues. A Study on the Use of IDE Features for Debugging. In Proceedings of the 18th International Conference on Mining Software Repositories, 2018.

[MSR-Challenge] Mauricio Soto and Claire Le Goues. Common Statement Kind Changes to Inform Automatic Program Repair. In Proceedings of the 18th International Conference on Mining Software Repositories, 2018.

[ICSE-Poster] Christopher Steven Timperley, Susan Stepney and Claire Le Goues. Poster: BugZoo – A Platform for Studying Software Bugs. In Proceedings of the 40th IEEE/ACM International Conference on Software Engineering. ICSE ’18, 2018.

[Dagstuhl] Nicolas Harrand, Justyna Petke, Claire Le Goues, Stephanie Forrest, and William B. Langdon: Genetic Improvement of Software. (Dagstuhl Seminar 18052). Dagstuhl Reports (to appear).

2017

[EMSE] Claire Le Goues and Shin Yoo. Guest editorial for special section on research in search-based software engineering. Empirical Software Engineering 22(2): 849-851 (2017). [doi | bibtex ]

[ICSME – Industry] Zack Coker, Kostadin Damevski, Claire Le Goues, Nicholas A. Kraft, David Shepherd, and Lori Pollock. Behavior Metrics for Prioritizing Investigations of Exceptions.  In Proceedings of the 33rd International Conference on Software Maintenance and Evolution – Industry Track. ICSME ’17, 2017: 554-563. [ doibibtex ]

[ESEC/FSE] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples.  In Proceedings of the 11th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. ESEC/FSE ’17, 2017: 593-604. [ doiproject page | bibtex ]

[SSBSE] Christopher Steven Timperley, Susan Stepney, and Claire Le Goues.  An Investigation into the Use of Mutation Analysis for Automated Program Repair.  In Proceedings of the 9th International Symposium on Search Based Software Engineering. SSBSE ’17, 2017: 99-114. [ doibitbucket | bibtex ]

[SNAPL] Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer: Toward Semantic Foundations for Program Editors. SNAPL ’17: 11:1-11:12. [doi | bibtex]

[ISSTA-Demo] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser. JFIX: semantics-based repair of Java programs via symbolic PathFinderProceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA ’17), Tools/Demo Track, 2017: 376-379. [doi | bibtex | project page]

[MSR-Challenge] Mauricio Soto, Zack Coker, Claire Le Goues.  Analyzing the impact of social attributes on commit integration success. Proceedings of the 14th International Conference on Mining Software Repositories 2017: 483-486. [doi | bibtex | github]

[Dagstuhl] Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury: Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports 7(1): 19-31 (2017).

2016

[SSBSE] Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, and Celso G. Camilo-Junior. Improved Crossover Operators for Genetic Programming for Program Repair. In Proceedings of the 8th International Symposium on Search Based Software Engineering. SSBSE ’16. 2016, pp. 112–127. [doi  | bibtex ]

[ISSTA] Tien-Duy B. Le, David Lo, Claire Le Goues, and Lars Grunske. A learning-to-rank based fault localization approach using likely invariants. In Proceedings of the 25th International Symposium on Software Testing and Analysis. ISSTA ’16, 2016: 177-188. [doi | bibtex]

[ICPC] Yuan Tian, Dinusha Wijedasa, David Lo and Claire Le Goues, Learning to rank for bug report assignee recommendation, In IEEE 24th International Conference on Program Comprehension (ICPC), 2016: 1-10. [doi | bibtex]

[SANER] Xuan-Bach D. Le, David Lo and Claire Le Goues, History Driven Program Repair, In  IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016: 213-224. [doi  | bibtex | github | blog ]

[ICSME-ERA] Le Dinh Xuan Bach, David Lo and Claire Le Goues. Empirical Study on Synthesis Engines for Semantics-based Program Repair. In Proceedings of the 32nd International Conference on Software Maintenance and Evolution (ICSME ’16) 2016, ERA Track: 423-427. [slides | doi | bibtex]

[ICSME-ERA] Le Dinh Xuan Bach, Quang Loc Le, David Lo and Claire Le Goues. Enhancing Automated Program Repair with Deductive Verification.  In Proceedings of the 32nd International Conference on Software Maintenance and Evolution (ICSME ’16) ERA Track, 2016: 428-432. [slides | doi | bibtex]

[ICPC-Short] Rinjard van Tonder and Claire Le Goues, Defending against the attack of the micro-clones, In IEEE 24th International Conference on Program Comprehension (ICPC), 2016, pp. 1-4. [doi | bibtex]

[MSR-Challenge] Mary Beth Kery, Claire Le Goues, and Brad A. Myers. 2016. Examining programmer practices for locally handling exceptions. In Proceedings of the 13th International Conference on Mining Software Repositories (MSR ’16), 2016, pp. 484-487. [doi | bibtex]

[MSR-Challenge] Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, and David Lo. A deeper look into bug fixes: patterns, replacements, deletions, and additions. In Proceedings of the 13th International Conference on Mining Software Repositories (MSR ’16), 2016, pp. 512-515. [doi | bibtex]

[DSN-Industry] Westley Weimer, Stephanie Forrest, Miryung Kim, Claire Le Goues, Patrick Hurley: Trusted Software Repair for System Resiliency. DSN Workshops 2016: 238-241. [doi | bibtex]

2015

[TSE] Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, and Westley Weimer. The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs, IEEE Transactions on Software Engineering (TSE). 41(12): 1236-1256 (2015). (featured article) [doi | bibtex | project page]

[ACSAC] Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, and Joshua Sunshine. Evaluating the Flexibility of the Java Sandbox. In Annual Computer Security Applications Conference (ACSAC’ 15), 2015: 1-10. [doi | bibtex]

[ASE] Yalin Ke, Kathryn T. Stolee, Claire Le Goues, and Yuriy Brun. Repairing Programs with Semantic Code Search. In Automated Software Engineering (ASE ’15), 2015: 532-543. [slides | doibibtex | github]

[ESEC/FSE] Edward K. Smith, Earl Barr, Claire Le Goues, and Yuriy Brun, Is the Cure Worse than the Disease? Overfitting in Automated Program Repair, in Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ’15), 2015: 532–543. [doibibtex]

[SEAMS-Position] Zack Coker, David Garlan and Claire Le Goues. SASS: Self-adaptation using stochastic search. International Symposium on Self-adaptation and self-managing systems (SEAMS), 2015: 168-174. [ bibtex ]

2014

[Proceedings-SSBSE] Claire Le Goues, Shin Yoo: Search-Based Software Engineering – 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings. Lecture Notes in Computer Science 8636, Springer 2014. [doi]

2013

[SQJO] Claire Le Goues, Stephanie Forrest, Westley Weimer. Current Challenges in Automatic Software Repair. Software Quality Journal 21(3): 421-443 (2013). (invited) [doi | bibtex]

[Chapter] Claire Le Goues, Anh Nguyen-Tuong, Hao Chen, Jack W. Davidson, Stephanie Forrest, Jason D. Hiser, John C. Knight and Matthew Gundy. Moving Target Defenses in the Helix Self-Regenerative Architecture. Moving Target Defense II, Advances in Information Security vol. 100: 117-149, 2013. [doi | bibtex]

2012

[TSE] Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest and Westley Weimer. GenProg: A Generic Method for Automated Software Repair. IEEE Transactions on Software Engineering (TSE) 38(1): 54-72 (January/February 2012). (featured article) [doibibtex]

[TSE] Claire Le Goues and Westley Weimer. Measuring Code Quality to Improve Specification Mining. IEEE Transactions on Software Engineering (TSE) 38(1): 175-190 (January/February 2012). [doibibtex].

[ICSE] Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest and Westley Weimer.A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8 Each. International Conference on Software Engineering (ICSE), 2012: 3-13.1  [ slides | doibibtex]

[GECCO] Claire Le Goues, Westley Weimer and Stephanie Forrest. Representations and Operators for Improving Evolutionary Software Repair. Genetic and Evolutionary Computation Conference (GECCO ’12), 2012: 959-966.1 Slides: [slides | doibibtex]

[GECCO-Invited Tutorial] Stephanie Forrest and Claire Le Goues. “Evolutionary software repair.” GECCO (Companion) 2012: 1345-1348.

2011

[SEFM-Tool] Claire Le Goues, K. Rustan M. Leino and Michal Moskal. The Boogie Verification Debugger (Tool Paper). Software Engineering and Formal Methods (SEFM) 2011: 407-414.3 [doi | bibtex]

2010

[CACM] Westley Weimer, Stephanie Forrest, Claire Le Goues and ThanhVu Nguyen. Automatic Program Repair with Evolutionary Computation Communications of the ACM (CACM) Vol. 53 No. 5, May, 2010, pp. 109-116. (invited) [doi | bibtex]

[GECCO] Ethan Fast, Claire Le Goues, Stephanie Forrest and Westley Weimer. Designing Better Fitness Functions for Automated Program Repair. Genetic and Evolutionary Computation Conference (GECCO) 2010: 965-972. [doi | bibtex]

[FoSER] Claire Le Goues, Stephanie Forrest and Westley Weimer. The Case for Software Evolution. Foundations of Software Engineering Working Conference on the Future of Software Engineering (FoSER) 2010: 205-209.[doi] [bibtex] Slides: [pdf]

2009

[GECCO] Stephanie Forrest, Westley Weimer, ThanhVu Nguyen and Claire Le Goues. A Genetic Programming Approach to Automatic Program Repair. Genetic and Evolutionary Computation Conference (GECCO) 2009: 947-954. (Best Paper)2 [doi | bibtex]

[ICSE] Westley Weimer, ThanhVu Nguyen, Claire Le Goues and Stephanie Forrest.Automatically Finding Patches Using Genetic Programming. International Conference on Software Engineering (ICSE ’09), 2009: 364-374. (Distinguished Paper, Manfred Paul Award)2 [doi | bibtex ]

[TACAS] Claire Le Goues and Westley Weimer. Specification Mining With Few False Positives. Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009: 292-306. [slides | doi | bibtex]

[SBST-Short] ThanhVu Nguyen, Westley Weimer, Claire Le Goues and Stephanie Forrest. “Extended Abstract: Using Execution Paths to Evolve Software Patches.”Search-Based Software Testing (SBST) 2009. (Best Short Paper)

Theses and Misc.

Claire Le Goues. Automatic Program Repair Using Genetic Programming. Ph.D. Thesis: University of Virginia, May 2013. Slides: [pdf] Proposal: [document (pdf) | slides (pdf) ]

Claire Le Goues. Specification Mining With Few False Positives. Master’s Thesis: University of Virginia, May 2009. Slides: [pdf]

Slides: A Theory of the Learnable. Spring, 2010 [ .pdf ]   An introduction to Valiant’s seminal paper A Theory of the Learnable, complete with an unnecessarily-extended duck metaphor.

KKT Algorithm for Minimum Spanning Trees. Spring, 2008. [ .pdf |.ppt ]  These slides contain a pretty extensive demo of the KKT randomized linear-time MST algorithm on an example graph of ~20 nodes, which you may find useful if you, too, wish to demonstrate said algorithm to a bunch of your friends. Contains an unnecessarily-extended The Giving Tree metaphor.

1Bronze Award, 9th annual “Humies” Awards, GECCO 2012.^
2Gold Award, 6th annual “Humies” Awards, GECCO 2009.^
3BVD still lives, at the Boogie github page!  However, it has evolved considerably since my first prototype, so I can no longer offer technical support.^

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s