Wed 17 Jul 2019 11:30 - 11:50 at Mancy - Language Design and Implementation Chair(s): John Wickerson

Multitier programming languages address the complexity of developing distributed systems abstracting over low level implementation details such as data representation, serialization and network protocols. Since the functionalities of different peers can be defined in the same compilation unit, multitier languages do not force developers to modularize software along network boundaries. Unfortunately, combining the code for all tiers into the same compilation unit poses a scalability challenge or forces developers to resort to traditional modularization abstractions that are agnostic to the multitier nature of the language.

In this paper, we address this issue with a module system for multitier languages. Our module system supports encapsulating each (cross-peer) functionality and defining it over abstract peer types. As a result, we disentangle modularization and distribution and we enable the definition of a distributed system as a composition of multitier modules, each representing a subsystem. Our case studies on distributed algorithms, distributed data structures, as well as on the Apache Flink task distribution system, show that multitier modules allow the definition of reusable (abstract) patterns of interaction in distributed software and enable separating the modularization and distribution concerns, properly separating functionalities in distributed systems.

Wed 17 Jul
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

10:30 - 12:10: Language Design and ImplementationResearch Papers at Mancy
Chair(s): John WickersonImperial College London
10:30 - 10:50
Research paper
Research Papers
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
DOI Media Attached
10:50 - 11:10
Research paper
Research Papers
Kiko Fernandez-ReyesUppsala University, Einar Broch JohnsenUniversity of Oslo, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Ludovic HenrioCNRS, Tobias WrigstadUppsala University
DOI Media Attached
11:10 - 11:30
Research paper
Research Papers
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
DOI Media Attached
11:30 - 11:50
Research paper
Research Papers
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
DOI Media Attached
11:50 - 12:10
Research paper
Research Papers
Vlad VerguTU Delft, Eelco VisserDelft University of Technology, Andrew TolmachPortland State University
DOI Media Attached