EDGE Distinguished Lecture Series 45 - Don Batory David Bruton Jr. Centennial Professor in Computer Sciences ACES 2.402

Contact Name: 
Jenna Whitney
Feb 8, 2007 2:00pm - 3:00pm

EDGE Distinguished Lecture Series EDGE Seminar 45<

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

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

ter Sciences

Title: %93From Implementation to Theory in Product Synt


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

Keynote speech given for POPL 2007: Preliminary Progra