π-calculus, Session Types research at Imperial College
Nobuko gave a talk at Papers We Love / Stange Loop 2016 on the topic of Multiparty Session Types and their Applications to Concurrent and Distributed Systems. Details and slides can be found on the talks page.
Abstract
Nobuko Yoshida’s talk will present a summary of recent papers on multiparty session types for verifying distributed, parallel and concurrent programs, illustrating how theoretical work is grounded on collaborations with industry partners. This research led to the development of the protocol description language Scribble and other work such as static deadlock analysis in Go.
About PWLConf
Paper We Love (PWL) is a community built around reading, discussing and learning more about academic computer science papers. This repository serves as a directory of some of the best papers the community can find, bringing together documents scattered across the web. PWLConf 2016 is the first Papers We Love conference focused on reading and enjoying academic computer science papers, as a pre-conference of Strange Loop 2016.
Also featured on department news.