University of Cambridge > Talks.cam > Computer Laboratory Opera Group Seminars > Making system composition flexible, automatic, safe, practical (but not necessarily all at the same time)

Making system composition flexible, automatic, safe, practical (but not necessarily all at the same time)

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Minor Gordon.

I will give an informal overview of some of the work being done, or soon to be done, by David Greaves and students (including myself). This will include: the Orangepath compiler for refinement-based synthesis of hardware, software or mixed systems; the Pushlogic scripting language for ubiquitous and home computing, with automatic resolution of feature interactions and ontology-based script generation; automatic synthesis of finite-state interface adapters; and my own forthcoming work on semi-automatic software adaptation at the linkage level.

This talk is part of the Computer Laboratory Opera Group Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2021 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity