Benchmarks for Multiparty Session Types
Session types are now 30 years old, and multiparty session types are 15 years old. The community developed numerous variants, extensions and implementations of session types, leading to numerous use cases. Despite this successful record, the session types community lacks a common set of relevant protocols that could be used to better compare and explain our works. In this talk, we present a work in progress project to define a benchmark for (multiparty) session types. Our talk will be divided in three part: first, explaining the motivation for a set of benchmarks and the selection criteria we found relevant; second, discussing the current set of protocols we consider. Since we expect our benchmark set to be relevant for the whole session types community, our third part will be an open discussion to collect feedback from the audience.
|Slides of the talk (présentation.pdf)||208KiB|
Mon 23 OctDisplayed time zone: Lisbon change
14:00 - 15:30
|Benchmarks for Multiparty Session Types|
|Towards Session-Typed Consensus|
|Using Event Structures to model Multiparty Session Types: results and open problems|