Multiparty Session Types and their Applications to Concurrent and Distributed Systems
Papers We Love Conference / Strange Loop 2016 preconference, St. Louis, MO, Sept 15-17, 2016
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.
Date
15 Sep 2016
Speakers
