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

A recent surge in Multiparty Session Types (MPST) has vastly increased the expressivity and practicality of the theory. New theories have introduced notions of failure and failure-handling mechanisms into session types, with the aim of making them viable for distributed computing. This work asks the question: Is MPST theory capable of accurately describing consensus protocols? We answer this question by attempting to express the Raft consensus algorithm in MAGπ, a generalised MPST theory capable of modelling non-Byzantine faults. We highlight how, even with a theory so general, MAGπ session types cannot accurately describe the protocol. Towards achieving session-typed consensus, we propose a conservative and minimal extension to MAGπ, introducing the common distributed-computing concept of terms (a.k.a. time-periods or rounds) into types.

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