Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021

This program is tentative and subject to change.

Choreographic languages aim to express multiparty communication protocols, by providing primitives that make interaction manifest. Multitier languages enable programming computation that spans across several tiers of a distributed system, by supporting primitives that allow computation to change the location of execution. Rooted into different theoretical underpinnings—respectively process calculi and lambda calculus—the two paradigms have been investigated independently by different research communities with little or no contact. As a result, the link between the two paradigms has remained hidden for long.

In this paper, we show that choreographic languages and multitier languages are surprisingly similar. We substantiate our claim by isolating the core abstractions that differentiate the two approaches and by providing algorithms that translate one into the other in a straightforward way. We believe that this work paves the way for joint research and cross-fertilisation among the two communities.

This program is tentative and subject to change.

Conference Day
Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

19:00 - 20:00
Multiparty Programming and Session Types (time band 1)ECOOP Technical Papers at ECOOP 2
Chair(s): Mira MeziniTU Darmstadt, Germany
19:00
20m
Talk
Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl
ECOOP Technical Papers
Saverio GiallorenzoAlma Mater Studiorum - Università di Bologna, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark, David RichterTechnische Universität Darmstadt, Guido SalvaneschiUniversity of St. Gallen, Pascal WeisenburgerUniversity of St. Gallen
19:20
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul HarveyRakuten Mobile Innovation Studio, Simon FowlerUniversity of Glasgow, Ornela DardhaUniversity of Glasgow, Simon J. GayUniversity of Glasgow, UK
Pre-print
19:40
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo BurlòGSSI, Adrian FrancalanzaUniversity of Malta, Alceste ScalasTechnical University of Denmark

Conference Day
Sat 17 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

08:00 - 10:00
Multiparty Programming and Session Types (time band 3)ECOOP Technical Papers at ECOOP 1
08:40
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo BurlòGSSI, Adrian FrancalanzaUniversity of Malta, Alceste ScalasTechnical University of Denmark
09:00
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul HarveyRakuten Mobile Innovation Studio, Simon FowlerUniversity of Glasgow, Ornela DardhaUniversity of Glasgow, Simon J. GayUniversity of Glasgow, UK
Pre-print
09:20
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
09:40
20m
Talk
Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl
ECOOP Technical Papers
Saverio GiallorenzoAlma Mater Studiorum - Università di Bologna, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark, David RichterTechnische Universität Darmstadt, Guido SalvaneschiUniversity of St. Gallen, Pascal WeisenburgerUniversity of St. Gallen