Seminars

Our seminar series is free and available for anyone to attend. Unless otherwise stated, seminars take place on Wednesday afternoons at 2pm in the Kilburn Building during teaching season.

If you wish to propose a seminar speaker please contact Antoniu Pop.

 

Multiparty session types and their applications

  • Speaker:   Prof  Nobuko Yoshida & Dr Raymond Hu  (Imperial College, London)
  • Host:   Giles Reger
  • 4th May 2016 at 14:00 in Kilburn L.T. 1.4
Abstract
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 introduce the multiparty session types and then explain 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. We also demonstrate how our multiparty session synthesis theory is applied to Zero Deviation Life Cycle project in Cognizant; and static deadlock analysis for Google's Go language.

Tea and biscuits will be available from 3pm in the staff tearoom for an informal chat. Please bring your own mug if you have one.
▲ Up to the top