|go to week of Jan 27, 2013||27||28||29||30||31||1||2|
|go to week of Feb 3, 2013||3||4||5||6||7||8||9|
|go to week of Feb 10, 2013||10||11||12||13||14||15||16|
|go to week of Feb 17, 2013||17||18||19||20||21||22||23|
|go to week of Feb 24, 2013||24||25||26||27||28||1||2|
Bio: Claire Le Goues is a Ph.D. candidate in Computer Science at the University of Virginia. Her research interests lie in the intersection of software engineering and programming languages, with a particular focus on software quality and automated error repair. Her work on automatic program repair has been recognized with Gold and Bronze designations at the 2009 and 2012 ACM SIGEVO "Humies" awards for Human-Competitive Results Produced by Genetic and Evolutionary Computation, and several distinguished and featured paper awards.
Abstract: "Everyday, almost 300 bugs appear...far too many for only the Mozilla programmers to handle" --Mozilla developer, 2005
Software quality is a pernicious problem. Although 40 years of software engineering research has provided developers considerable debugging support, actual bug repair remains a predominantly manual, and thus expensive and time-consuming, process. Claire will describe GenProg, a technique that uses evolutionary computation to automatically fix software bugs. Her empirical evidence demonstrates that GenProg can quickly and cheaply fix a large proportion of real-world bugs in open-source C programs. She will also briefly discuss the atypical evolutionary search space of the automatic program repair problem, and the ways it has challenged assumptions about software defects.