Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Thu 15 Jul 2021 19:00 - 19:20 at ECOOP 2 - Multiparty Programming and Session Types (time band 1) Chair(s): Mira Mezini
Sat 17 Jul 2021 10:30 - 10:50 at ECOOP 1 - Multiparty Programming and Session Types (time band 3) Chair(s): Lu Zhang

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.

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 Mezini TU Darmstadt, Germany
19:00
20m
Talk
Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl
ECOOP Technical Papers
Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark, David Richter Technische Universität Darmstadt, Guido Salvaneschi University of St. Gallen, Pascal Weisenburger TU Darmstadt
Link to publication DOI
19:20
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul Harvey Rakuten Mobile Innovation Studio, Simon Fowler University of Glasgow, Ornela Dardha University of Glasgow, Simon J. Gay University of Glasgow, UK
DOI Pre-print Media Attached
19:40
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo Burlò Gran Sasso Science Institute, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark
DOI

Sat 17 Jul

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

09:30 - 10:50
Multiparty Programming and Session Types (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Lu Zhang Peking University
09:30
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo Burlò Gran Sasso Science Institute, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark
DOI
09:50
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul Harvey Rakuten Mobile Innovation Studio, Simon Fowler University of Glasgow, Ornela Dardha University of Glasgow, Simon J. Gay University of Glasgow, UK
DOI Pre-print Media Attached
10:10
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology
DOI
10:30
20m
Talk
Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl
ECOOP Technical Papers
Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark, David Richter Technische Universität Darmstadt, Guido Salvaneschi University of St. Gallen, Pascal Weisenburger TU Darmstadt
Link to publication DOI