Claire Le Goues

Email: legoues at cs dot virginia dot edu
Visit: Rice 434
Mail:
Department of Computer Science
School of Engineering, UVa
85 Engineer's Way, P.O. Box 400740
Charlottesville, VA 22904
claire fencing

About

I am a fifth-year graduate student in Computer Science at the University of Virginia, advised by Wes Weimer. I am broadly interested in software engineering and programming languages; I primarily research automatic error repair.

I received a B.A. in Computer Science from Harvard College in 2006 and an M.S. in Computer Science from the University of Virginia in 2009. I intend to defend my dissertation by May, 2013.

I received the NSF Graduate Research Fellowship in 2009, and was the UVa CS Department's Outstanding Graduate TA for the 2007-2008 year.

I interned at MSR Redmond during the Summer of 2009. Before grad school, I spent a year employed as a Software Engineer at IBM in Cambridge, MA, where I specialized in rapid XML processing.

Please consult my C.V. for more details.

In terms of personal trivia: my last name is pronounced "Le-Gwess." By default, Bibtex will butcher it (turning me into Goues, C.L.); I always appreciate judiciously applied brackets ({Le Goues}). When not at my desk, I am involved with my local roller derby league.

Research

My research focuses on automatically repairing bugs in software. We combine stochastic search methods like genetic programming with lightweight program analyses to find patches for real bugs in extant software. I no longer host reproduction instructions for the GenProg project here. Instead, we have a snazzy website where you can find an overview; a publication list; demo videos; and source code, benchmarks, workloads, and experimental reproduction instructions for all GenProg-related research. However, you should still feel free to email me at legoues at cs dot virginia dot edu with questions, concerns, comments, suggestions, or problems with any of the material you find there.

Publications

Invited

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

    • Journal

  • 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 paper award) [bibtex]
  • 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). [bibtex].

    • Conference

  • Claire Le Goues, Westley Weimer and Stephanie Forrest. Representations and Operators for Improving Evolutionary Software Repair. Genetic and Evolutionary Computation Conference (GECCO), 2012. (to appear)
  • 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. (to appear)
  • 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 [bibtex]
  • 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. [bibtex]
  • 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)1[bibtex]
  • Westley Weimer, ThanhVu Nguyen, Claire Le Goues and Stephanie Forrest. Automatically Finding Patches Using Genetic Programming. International Conference on Software Engineering (ICSE) 2009:364-374. (Distinguished Paper, Manfred Paul Award)1 [bibtex]
  • 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 [bibtex] Conference Presentation: [ .pdf | .pptx ]

    • 1This work received Gold in the 6th annual (2009) "Humies" Awards for Human-Competitive Results Produced by Genetic and Evolutionary Computation, awarded at the 2009 GECCO in Montreal, Quebec.

    Workshop

  • 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. [bibtex] Presentation slides: [pptx | pdf]
  • 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)

    • Other Resources

    Non peer-reviewed

  • Claire Le Goues. Automatic, Efficient, and General Repair of Software Defects Using Lightweight Program Analyses. Dissertation Proposal, September 2010. Slides: [pdf]
  • Claire Le Goues. Specification Mining With Few False Positives. Master's Thesis, May 2009. Slides: [pdf]

    • Theory lunch presentations

    A Theory of the Learnable. Spring, 2010 [ .pdf ]

    An introduction to Valiant's seminal paper A Theory of the Learnable, complete with an unecessarily-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 unecessarily-extended The Giving Tree metaphor.