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
Cornwallis South West,
University of Kent,
DetailsContact: O. Chitil