COVID-19 note: The PaPoC 2020 workshop will be virtual (online only) on the originally scheduled date (April 27, 2020). We will use a combination of pre-recorded talks and live video conferencing to enable the same interactive discussions as at an in-person workshop. Please see the programme page for more details on participating.
The 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) will take place on April 27, 2020, in Heraklion, Crete, Greece, and is co-located with the EuroSys 2020 conference. It is a successor to previous workhops in this series, PaPeC 2014, PaPoC 2015, PaPoC 2016, PaPoC 2017, PaPoC 2018 and PaPoC 2019 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.
PaPoC 2020 will take place on April 27, 2020.
It is colocated with EuroSys 2020
in Heraklion, Crete, Greece
as an online-only workshop due to COVID-19.
The keynote at PaPoC will be given by Hagit Attiya (Professor, The Harry W. Labov and Charlotte Ullman Labov Academic Chair, Faculty of Computer Science, Technion, Israel).
Keynote title: Specification and complexity of replicated objects
Please see the programme page for more detail.
|Workshop:||April 27, 2020 (online-only due to COVID-19)|