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)

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

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

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Coleridge Room, Jesus College, Cambridge Psychology Department Lecture Theatre Rooms SG1 & SG2, Alison Richard Building, 7 West Road, Cambridge, CB3 9DT

Other talks

Title TBC Dept of Zoology Inaugural lecture: 'Through the lens of a bee: from the past to the future' CSAR lecture: In a post-Ozempic world, have we cured obesity? External Seminar - Michael Raissig TBC Afternoon Break Wolfson Tool Factory
 

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