ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Thu 9 Jun 2022 16:10 - 16:30 at Aurora Borealis 1 - Session Types 2 Chair(s): Vasco T. Vasconcelos

There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed by other participants. These sessions fall outside the scope of currently available session type systems that guarantee progress. In this work we propose the first type system ensuring that well-typed multiparty sessions, including those exhibiting the aforementioned dependencies, fairly terminate. Fair termination is termination under a fairness assumption that disregards those interactions deemed unfair and therefore unrealistic. Fair termination, combined with the usual safety properties ensured within sessions, not only is desirable per se, but it entails progress and enables a compositional form of static analysis such that the well-typed composition of fairly terminating sessions results in a fairly terminating program.

Thu 9 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
Session Types 2Research Papers at Aurora Borealis 1
Chair(s): Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon
15:30
20m
Talk
A Self-Dual Distillation of Session Types (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Jules Jacobs Radboud University Nijmegen
Pre-print
15:50
20m
Talk
Stay Safe under Panic: Affine Rust Programming with Multiparty Session TypesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London
16:10
20m
Talk
Fair Termination of Multiparty SessionsDistinguished Paper AwardECOOP 2022
Research Papers
Luca Ciccone University of Turin, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Padovani University of Turin
16:30
20m
Talk
Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programmingArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Research Papers
Lorenzo Gheri Imperial College London, Ivan Lanese University of Bologna/INRIA, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Nobuko Yoshida Imperial College London, Neil Anthony Sayers Imperial College London