School of Computing

Dec 11, 2015
13:00 - 14:00
PLAS seminar: Nobuko Yoshida (Imperial College)
PLAS Group Seminar
Multiparty Session Types and their Applications (with Live Demos)

We give a summary of our recent research developments on multiparty session types for verifying distributed, parallel and concurrent programs, and our collaborations with industry partners. We shall first talk how the session types were discovered from the theory of the pi-calculus, and how we started collaborations with industry to develop a protocol description language called Scribble. We then talk about the recent developments in Scribble, the runtime session monitoring framework used in Ocean Observatories Initiative and network protocol verifications with demos. We also talk how our synthesis theory is applied to Zero Deviation Life Cycle project with Cognizant. Finally we show how multiparty session types are used to generate safe MPI code.

Home page: http://mrg.doc.ic.ac.uk/

Visit the event web page

Location

SW101,
Cornwallis South West,
University of Kent,
Canterbury,
Kent,
CT2 7NF
United Kingdom
Map

Details

Contact: O. Chitil
E: O.Chitil@kent.ac.uk

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015