SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Sun 22 Oct 2023 09:00 - 09:30 at Room XIII - ST30 Day 1 Session 1 Chair(s): Kirstin Peters

Almost all formalizations of recursive session types rely on equirecursion because the explicit isomorphism to roll/unroll the recursive type is said to give rise to additional communication and synchronization. We examine this statement from first principles and find mild conditions under which these communications can be elided.

Sun 22 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
ST30 Day 1 Session 1ST30 at Room XIII
Chair(s): Kirstin Peters Augsburg University
09:00
30m
Talk
A silent semantics for isorecursive session types
ST30
Janek Spaderna University of Freiburg, Germany, Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, University of Lisbon
09:30
30m
Talk
Mechanising Multiparty Session Types: A Sound and Complete Projection
ST30
Marco Carbone IT University of Copenhagen, Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Denmark
10:00
30m
Talk
The Concurrent Calculi Formalisation Benchmark
ST30
Marco Carbone IT University of Copenhagen, David Castro-Perez University of Kent, Francisco Ferreira Royal Holloway, University of London, Lorenzo Gheri University of Liverpool, Frederik Krogsdal Jacobsen Technical University of Denmark, Alberto Momigliano Università degli Studi di Milano, Luca Padovani University of Camerino, Alceste Scalas DTU, Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford