EDGE Distinguished Lecture Series EDGE Seminar 45<

br>
When: Thursday February 8 2007 - 2:00 p.m.
Where: ACES 2.402<

br>
Speaker: Don Batory David Bruton Jr. Centennial Professor in Compu

ter Sciences

Title: %93From Implementation to Theory in Product Synt

hesis%94

Talk Abstract: Future software development will rely on pr

oduct synthesis i.e. the synthesis of code and non-code artifacts for a t

arget component or application. Prior work on feature-based product synthes

is can be unified by applying elementary ideas from category theory. Doing

so reveals (a) important and previously unrecognized properties that produc

t synthesis tools must satisfy and (b) non-obvious generalizations of curr

ent techniques that will guide future research efforts in automated product
development.

Keynote speech given for POPL 2007: Preliminary Progra

m.