PaPoC 2020: 7th Workshop on Principles and Practice of Consistency for Distributed Data EuroSys 2020 Heraklion, Crete, Greece, April 27, 2020 |
Conference website | https://papoc-workshop.github.io/2020/ |
Submission link | https://easychair.org/conferences/?conf=papoc2020 |
Abstract registration deadline | February 21, 2020 |
Submission deadline | February 21, 2020 |
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.
List of Topics
The workshop is looking for contributions on the following, and associated, topics:
- Design principles, correctness conditions, and programming patterns for scalable distributed data management systems.
- Techniques for relaxed consistency models: session guarantees, causal consistency, operational transformation, conflict-free replicated data types (CRDTs), monotonic programming, state merging, operation commutativity, etc.
- Data consistency in geo-replicated, peer-to-peer, and edge networks.
- Techniques for scaling and improving the performance of strongly consistent systems (e.g., Paxos-based, state machine replication, shared-log consensus, blockchains).
- How to expose consistency vs. performance and scalability trade-offs in the programming model, and how to help developers choose.
- How to support composed operations spanning multiple objects (transactions, sagas, workflows).
- Reasoning, analysis and verification of application programs using storage systems with weak consistency models.
- Strengthening the guarantees beyond consistency: fault tolerance, security, ensuring invariants are preserved, bounding metadata size, and controlling divergence.
Submission Guidelines
The PaPoC workshop invites two types of submissions:
- Short papers (5–6 pages) discussing original contributions, experience reports, or work in progress reports (supported by initial validations);
- Contributed talks, summarized in 1–2 page extended abstracts, reporting positions and visions for the future, identifying new challenges and research venues, or reports for early ongoing work.
We accept longer proposals, under the understanding that PC members are only expected to read the first six pages (in the case of papers) or two pages (in the case of extended abstracts) of such longer submissions. All submissions should be written in English and provided in PDF format. Submissions do not need to be anonymised.
We suggest that you use the ACM template for LaTeX or MS Word, but this is not requried. If using the LaTeX template, please use the following document class (which matches the format used by EuroSys):
\documentclass[sigplan,10pt]{acmart}
Authors may submit work that has appeared elsewhere or that is currently under submission elsewhere, provided that it is identified as such. In this case, if their submission is accepted, the authors will be asked to produce a two-page summary that cites the full version of their work. This summary is what will appear in the PaPoC materials.
Committees
Program Chairs
- Alan Fekete (University of Sydney, Australia)
- Martin Kleppmann (University of Cambridge, UK)
Program Committee
- Peter Alvaro (University of California, Santa Cruz, USA)
- Carlos Baquero (HASLab, INESC TEC & University of Minho, Portugal)
- Alysson Bessani (Universidade de Lisboa, Portugal)
- Sebastian Burckhardt (Microsoft Research, USA)
- Natasha Crooks (UT Austin and Cornell University, USA)
- Jim Dowling (Logical Clocks, Stockholm, Sweden)
- Carla Ferreira (NOVA University of Lisbon, Portugal)
- Heidi Howard (University of Cambridge, UK)
- Heather Miller (Carnegie Mellon University, USA)
- Roberto Palmieri (Lehigh University, USA)
- Gustavo Petri (Arm Research, Cambridge, UK)
- Marco Serafini (University of Massachusetts Amherst, USA)
- Ali Shoker (INESC TEC, Portugal)
- KC Sivaramakrishnan (Indian Institute of Technology, Madras, India)
- Peter van Hardenberg (Ink & Switch, San Francisco, USA)
Steering Committee
- Peter Bailis (Stanford University, USA)
- Carlos Baquero (HASLab, INESC TEC & University of Minho, Portugal)
- Annette Bieniusa (University of Kaiserslautern, Germany)
- Alexey Gotsman (IMDEA Software Institute, Spain)
- Nuno Preguiça (NOVA-LINCS & NOVA University of Lisbon, Portugal)
- Marco Serafini (University of Massachusetts Amherst, USA)
- Marc Shapiro (Sorbonne-Universités—LIP6 & Inria, France)
- Justin Sheehy (Akamai Technologies, USA)
Invited Speakers
Hagit Attiya will be giving the keynote at PaPoC 2020.
Publication
Authors of accepted papers will have the opportunity to choose whether they want their papers published in ACM Digital Library (along with papers from other EuroSys workshops). In any case, accepted papers and abstracts will be made available to participants of the workshop. At least one author of each accepted submission is expected to present their work at the workshop, and to be available for discussions.
Venue
PaPoC 2020 will be held on April 27, 2020 in Heraklion, Crete, Greece (colocated with EuroSys 2020).
Contact
In case of any questions, please contact the Program Chairs, Martin Kleppmann (firstname dot lastname at cl.cam.ac.uk) and Alan Fekete (firstname dot lastname at sydney.edu.au).