UTCS Colloquium/AI-Stephanie Forrest/University of New Mexico: "Automatic Program Repair with Evolutionary Computation," ACES 2.302, Wednesday, April 14, 2010, 11:00 a.m.

Contact Name: 
Jenna Whitney
Date: 
Apr 14, 2010 11:00am - 12:00pm

There is a sign-up schedule for this event that can be found
at http://www.cs.utexas.edu/department/webeven

t/utcs/events/cgi/list_events.cgi

Type of Talk: UTCS Colloquium/A

I

Speaker/Affiliation: Stephanie Forrest/University of New Mexico<

/p>

Date/Time: Wednesday, April 14, 2010, 11:00 a.m.

Location:
ACES 2.302

Host: Risto Miikkulainen

Talk Title: Automatic Pro

gram Repair with Evolutionary Computation

Talk Abstract:

There are
many methods for detecting and mitigating software errors but few
gen

eric methods for automatically repairing errors once they are discovered.The talk will describe an automated method for repairing errors in
off-the-shelf, legacy programs without formal specifications, program
annotations, or special coding practices. The method uses an extended f

orm
of genetic programming to evolve a program variant that retains re

quired
functionality but is not susceptible to the error. We use exist

ing test
suites to encode both the error and required functionality. T

he talk will
describe the algorithm and summarize experimental results
on 15 programs
totaling 1.2M lines of C code. If time permits, the t

alk will also describe
recent results combining the method with intrus

ion detection to form a
closed-loop repair system and extensions of th

e method to assembly code
programs.

Speaker Bio:

Stephanie Forrest is Professor and Chairman of the Computer Science
D

epartment at the University of New Mexico in Albuquerque. She is also an
External Professor of the Santa Fe institute and has served as its Vice<

br />President and a member of the Science Board. Her research studies adap

tive
systems, including immunology, evolutionary computation, biolo

gical
modeling, and computer security. Professor Forrest received M.S

. and Ph.D.
degrees in Computer and Communication Sciences from the Un

iversity of
Michigan (1982,1985) and a B.A. from St. John''s College

(1977). Before
joining UNM in 1990 she worked for Teknowledge Inc. and
was a Director''s
Fellow at the Center for Nonlinear Studies, Los Al

amos National Laboratory.