The next PGR seminar is taking place this Friday 11th April at 2PM in JC 1.33a

Below are the Titles and Abstracts for Leonid and Xinya’s talks – Please do come along if you are able.

Leonid Nosovitsky

Title: Bridging Theory and Practice: Advancing Multiparty Session Types for Industry Use

Abstract: Multiparty Session Types (MPST) provide a typing discipline for communication protocols. They allow to statically check that a code implementation conforms to a specified protocol; they can also verify that a protocol satisfies many safety properties like liveness and deadlock freedom, which are crucial in concurrent communicating systems.  Despite huge improvements in MPST research, different extensions have limitations.  For example, one of extensions is crash-handling. This branch was motivated by lack of network reliability to make MPST framework more applicable and usable in industrial scenarios. The crash-semantics theory introduced by Barwell et al. does not involve any constraints relaxations, which makes it very intricate for adoption in practical scenarios.  Our project concentrates on addressing usability limitations to make MPST more integrable into industrial applications.

Xinya Gong

Title and Abstract TBC