posted by user: jcaleitao || 2214 views || tracked by 3 users: [display]

PaPoC 2019 : 6th Workshop on Principles and Practice of Consistency for Distributed Data


When Mar 25, 2019 - Mar 25, 2019
Where Dresden Germany (with Eurosys 2019)
Submission Deadline Jan 24, 2019
Notification Due Feb 14, 2019
Final Version Due Feb 22, 2019
Categories    distributed systems   storage systems   available consistency   replication

Call For Papers

Call for Papers

Submission Deadline 24th Jan 2019
Author Notification 14th Feb 2019
Camera Ready Submission 22th Feb 2019
PaPoC 2019 25th Mar 2019

Submission Link:

Workshop Scope:

Consistency is one of the fundamental issues of distributed computing. There are many competing consistency models, with subtly different power in principle. In practice, the well-known “Consistency-Availability-Partition Tolerance” trade-off translates to difficult choices between fault tolerance, performance, and programmability. These issues and trade-offs become particularly challenging at scale, with a large number of processes or a large distributed database, and in the presence of high latency and failure-prone networks. These challenges might become more pronounced with the use of emerging edge computing architectures that will further increase the scale and heterogeneity of systems. It is clear that there is no universally best solution.

Possible approaches cover the whole spectrum between strong and eventual consistency. Strong consistency (linearizability or serializability, achieved via total ordering) provides familiar and intuitive semantics but requires slow and fragile synchronisation and coordination overheads. The unlimited parallelism allowed by available models, such as eventual consistency, which promise high performance, but allow divergence and conflicts make it difficult to ensure useful application invariants, and managing relevant meta-data can become a challenge. The research and development communities are actively exploring intermediate models (replicated data types, monotonic programming, CRDTs, LVars, causal consistency, red-blue consistency, invariant- and proof-based systems, etc.), designed to improve efficiency, programmability, and overall operation without negatively impacting scalability.

This workshop aims at further advancing the principles and practice of consistency models for large-scale, fault-tolerant, distributed data management systems. It will bring together theoreticians and practitioners from different horizons: system development, distributed algorithms, concurrency, fault tolerance, databases, language and verification, from both academia and industry.

Topics of Relevance:

The PaPoC workshop is looking for contributions on the following and associated relevant topics:
Design principles, correctness conditions, and programming patterns for scalable distributed data systems.
Techniques for available consistency (also known as weak consistency): session guarantees, causal consistency, operational transformation, conflict-free replicated data types, monotonic programming, state merge, commutativity, etc.
Techniques for scaling and improving the performance of strongly consistent systems (e.g., Paxos-based, state machine replication, shared-log consensus, blockchain).
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, workflows).
Reasoning, analysis and verification of applications operating on top of available consistency data management solutions.
How to strengthen the guarantees beyond consistency: fault tolerance, security, ensuring invariants, bounding metadata size, and controlling divergence.
Consistency in large-scale distributed scenarios, including geo-replicated and edge systems
Submission Guidelines

Submission Formats: PaPoC 2018 is soliciting proposals in one of two possible formats: 1) Short Papers (5-6 pages, ACM double-column format) with original contributions, experience reports, or work in progress containing initial validations; or 2) contributed talks that should be summarised in the form of extended abstracts (2 pages, ACM double-column format) reporting positions and visions for the future, identifying new challenges or research venues, or early reports of on-going work.

All papers should be written in English and submitted as a single PDF file through the EasyChair system, using 8.5x11-inch paper, double-column, 10pt font. Limits reported above include all content, images, and references. Authors should use the ACM Master article template when preparing their submissions. The first page should provide the name(s) and affiliation(s) of the author(s), and the type of submission (Short Paper or Extended Abstract). At least one of the authors of every accepted paper must register and present the paper at the workshop.

Authors will have the opportunity to choose if they want their papers/extended abstracts published in ACM Digital Library (with papers from other EuroSys workshops).

Program Chairs:
João Leitão (NOVA-LINCS & NOVA University of Lisbon, Portugal)
Heather Miller (Carnegie Mellon University, USA)

Program Committee:
Masoud Saeida Ardekani (Uber Technologies, USA)
Alysson Bessani (Universidade de Lisboa, Portugal)
Manuel Bravo (IMDEA Software Institute, Spain)
Natacha Crooks (UT Austin and Cornell University, USA)
Constantin Enea (IRIF, University Paris Diderot, France)
Carla Ferreira (NOVA University of Lisbon, Portugal)
Rachid Guerraoui (École Polytechnique Fédérale de Lausanne, Switzerland)
Lindsey Kuper (University of California, Santa Cruz, USA)
Cheng Li (University of Science and Technology of China, China)
Roberto Palmieri (Lehigh University, USA)
Rodrigo Rodrigues (University of Lisbon, Portugal)
Ali Shoker (INESC TEC, Portugal)
Marko Vukolić (IBM Research, Switzerland)
Marek Zawirski (Google Zürich, Switzerland)

Steering Committee:
Marc Shapiro (INRIA & LIP6, France)
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 (Qatar Computing Research Institute, Qatar)
Justin Sheehy (VMware Inc., USA)

Related Resources

PPoPP 2023   PPoPP 2023 : The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
IJP2P 2023   International Journal of Peer-to-Peer networks
SDM 2023   SDM 2023 : SIAM International Conference on Data Mining
DAPPS 2023   IEEE DAPPS 2023 - The 5th IEEE International Conference On Decentralized Applications And Infrastructures
ICDM 2023   International Conference on Data Mining
FORTE 2023   43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
KR 2023   Principles of Knowledge Representation and Reasoning
TCRS 2023   1st Workshop on Time-Centric Reactive Software at CPS-IoT Week '23
ETAPS 2023   26th European Joint Conferences on Theory and Practice of Software
VHPC 2023   Virtualization in High-Performance Cloud Computing