Carnegie Mellon University Website Home Page
 

jquicksall

Dr. Claire Le Goues

Assistant Professor

clegoues@cs.cmu.edu 

Dr. Claire Le Goues is an Assistant Professor in the School of Computer Science at Carnegie Mellon University. She received her Ph.D. in Computer Science from the University of Virginia in 2013, where she studied under the tutelage of Wes Weimer. She received an M.S. in 2009 from the same institution, and a B.A. in Computer Science from Harvard College (2006). Before grad school, Le Goues spent a year employed as a Software Engineer at IBM in Cambridge, MA, where she specialized in rapid XML processing.

She notes that although time in the Real World was brief, it substantively impacted the types of research problems she finds interesting. Dr. Le Goues is broadly interested in software engineering and programming languages, and particularly in how engineers can construct, maintain, and evolve high-quality, real-world systems. Her primary research focus has been on automatic error repair.

Research

GenProg: The GenProg project focuses on developing techniques to automatically repair bugs in software. We combine stochastic search methods like genetic programming with lightweight program analyses to find patches for real bugs in extant software. We have shown that the technique is general in the bugs it can address and demonstrated its scalability to millions of lines of real C code.

Publications

Journal

Conference

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] Slides: [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)

Book 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.

Tutorial

  • Stephanie Forrest and Claire Le Goues. "Evolutionary software repair." GECCO (Companion) 2012: 1345-1348.

Non peer-reviewed