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

• Stephen Kell (University of Cambridge)
• Tuesday 20 November 2007, 14:30-15:30
• Room FW11, Computer Laboratory, William Gates Building.

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.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Opera Group Seminars
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Room FW11, Computer Laboratory, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.