The 8th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) will take place on virtually on April 26th, 2021, and is co-located with the EuroSys 2021 conference. It is a successor to previous workshops in this series, PaPoC 2014, PaPoC 2015, PaPoC 2016, PaPoC 2017, PaPoC 2018, PaPoC 2019 and PaPoC 2020 which brought together researchers and practitioners in the areas of distributed systems, programming languages, databases, and concurrent programming.
This workshop investigates the trade-offs among different consistency models for distributed systems, and their operational characteristics. While stronger consistency models can be easier for programmers to reason about, weaker consistency models can often provide better availability and performance. Beyond the well-known tension between Consistency, Availability, and Partition-tolerance, as captured by the CAP theorem, many nuanced consistency models and algorithms have been developed for different purposes. Distributed consistency models are needed in large-scale datacenter-based systems, but also in edge networks with wide geographic distribution, and even in end-user applications running on mobile devices with intermittent network connectivity. It is clear that there is no universally best solution for sharing data in these different settings.
In order to address these challenges, the PaPoC workshop brings together theoreticians and practitioners from different horizons: system development, distributed algorithms, concurrency, fault tolerance, databases, programming languages and verification, including both academia and industry. Topics of interest include models and mechanisms for consistency in distributed systems, including replicated data types/CRDTs, causal consistency, transaction isolation levels, hybrid consistency models such as RedBlue consistency, analysis of program correctness with regard to different consistency models, formal verification of consistency properties, and studies of performance, scalability, and programmability.
More details to follow.