[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
conference)
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
anonymized.
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