SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 14:00 - 14:30 at Room XIII - ST30 Day 2 Session 3 Chair(s): António Ravara

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 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
ST30 Day 2 Session 3ST30 at Room XIII
Chair(s): António Ravara Nova University of Lisbon
14:00
30m
Talk
Benchmarks for Multiparty Session Types
ST30
Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford
File Attached
14:30
30m
Talk
Towards Session-Typed Consensus
ST30
Matthew Alan Le Brun University of Glasgow, Ornela Dardha University of Glasgow
15:00
30m
Talk
Using Event Structures to model Multiparty Session Types: results and open problems
ST30
Ilaria Castellani INRIA Sophia Antipolis, France, Paola Giannini University of Eastern Piedmont