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 Auotmated 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, 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) (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]

    • 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. Presentation 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.

    		•