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.
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.
- About
- Research
- Faculty
- Awards & Honors
- Undergraduate
- Graduate
- Careers
- Outreach
- Alumni
- UTCS Direct