[FM-India] CFP: PaPoC '22

Madhavan Mukund madhavan at cmi.ac.in
Sun Jan 16 14:50:39 IST 2022

[PaPoC '22] The 9th Workshop on Principles and Practice of Consistency 
for Distributed Data

Call for Papers: The 9th Workshop on Principles and Practice of 
Consistency for Distributed Data (PaPoC 2022)

Website: https://papoc-workshop.github.io/2022/

Workshop date: April 5th, 2022 (co-located with the EuroSys 2022 

Submission deadline: January 27th, 2022
Notification date: February 17th, 2022
Camera-Ready: March 3rd, 2022

Consistency is one of the fundamental issues of distributed computing. 
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. These consistency models have subtly different behavior in 
practice, which translates to difficult choices between fault tolerance, 
performance, and programmability. The issues and trade-offs are 
particularly vexing at scale, with a large number of processes or large 
shared databases, and in the presence of high latency and failure-prone 
networks, such as edge computing and peer-to-peer networks.

Since its inception in 2014, the PaPoC workshop series has brought 
together researchers and practitioners who seek to develop better 
techniques and a better understanding of consistency in distributed 
systems. We welcome contributions from a wide range of backgrounds: 
system development, distributed algorithms, concurrency, fault 
tolerance, databases, programming languages, blockchain, and 
verification. While there is no one universally best solution, we 
believe that by bringing together these perspectives, we can develop 
techniques that provide useful guarantees to applications, that are 
usable by application developers, and that satisfy real-world 
scalability, performance, and reliability requirements.

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.
- Formal methods for verifying the safety and progress of distributed 
applications and systems
- Strengthening the guarantees beyond consistency: fault tolerance, 
security, ensuring invariants are preserved, bounding metadata size, and 
controlling divergence.

The PaPoC workshop invites short papers up to 6 pages (including 
references) discussing original contributions, experience reports, or 
work in progress reports (supported by initial validations). We also 
accept longer proposals, under the understanding that PC members are 
only expected to read the first six pages. Submissions do not need to be 

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 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.

Further details and instructions for submissions can be found on the 
workshop web page: https://papoc-workshop.github.io/2022/index.html

Program Chairs

* KC Sivaramakrishnan (Indian Institute of Technology, Madras, India)
* Adriana  Szekeres (VMware Research, USA)

List of PC members:

* Hagit Attiya, Technion, Israel
* Sebastian Burckhardt, Microsoft Research, USA
* Vasilis Gavrielatos, Huawei Research, UK
* Alexey Gotsman, IMDEA Software Institute, Spain
* Akash Lal, Microsoft Research, India
* João Leitão, NOVA-LINCS & NOVA University of Lisbon, Portugal
* Jialin Li, NUS Singapore
* Hongjin Liang, Nanjing University
* Mae Milano, University of California, Berkeley
* Madhavan Mukund, Chennai Mathematical Institute, India
* Kartik Nagar, IIT Madras, India
* Sreeja Nair, ADLINK Technology, France
* Naveen Sharma, Google, USA

More information about the FMIndia mailing list