Thu 25 Mar 2021 13:30 - 14:00 at Virtual Space A - Session 7 Chair(s): Emma Söderberg
Fri 26 Mar 2021 14:00 - 14:30 at Virtual Space A - Session 14 Chair(s): Hidehiko Masuhara

Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to trade consistency for performance. For certain data, consistency guarantees may be weakened if application correctness is unaffected. In contrast, data flow from data with weak consistency to data with strong consistency requirements is problematic, since application correctness may be broken.

In this paper, we propose lattice-based consistency types for replicated data (CTRD), a higher-order static consistency-typed language with replicated data types. The type system of CTRD supports shared data among multiple clients, and statically enforces noninterference between data types with weaker consistency and data types with stronger consistency. The language can be applied to many distributed applications and guarantees that updates of weakly-consistent data can never affect strongly-consistent data. We also extend the basic CTRD with an optimization that reduces synchronization for generating reference graphs.

Conference Day
Thu 25 Mar

Displayed time zone: Belfast change

13:00 - 14:30
Session 7Research Papers at Virtual Space A
Chair(s): Emma SöderbergLund University
13:00
30m
Live Q&A
Transparent Synchronous Dataflow
Research Papers
Steven CheungUniversity of Birmingham, UK, Dan GhicaUniversity of Birmingham, Koko MuroyaRIMS, Kyoto University, JP
DOI Media Attached
13:30
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
Research Papers
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH
DOI Media Attached
14:00
30m
Live Q&A
Jupyter Notebooks on GitHub: Characteristics and Code Clones
Research Papers
Malin KällénUppsala University, Tobias WrigstadUppsala University, Sweden
DOI Media Attached

Conference Day
Fri 26 Mar

Displayed time zone: Belfast change

13:30 - 14:30
Session 14Research Papers at Virtual Space A
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
13:30
30m
Live Q&A
Advanced Join Patterns for the Actor Model based on CEP Techniques
Research Papers
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI Media Attached
14:00
30m
Live Q&A
Consistency types for replicated data in a higher-order distributed programming language
Research Papers
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH
DOI Media Attached