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

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

FacebookTwitterLinkedInGoogle

Link: https://novasys.di.fct.unl.pt/conferences/papoc19/
 
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: https://easychair.org/conferences/?conf=papoc19

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

CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
OPODIS 2019   Conference On Principles Of Distributed Systems
CICET 2019   The International Conference on Recent Advancements in Computing, IoT and Computer Engineering Technology 2019
PRIMA 2019   The 22nd International Conference on Principles and Practice of Multi-Agent Systems
DRSS 2019   1st Workshop on Distributed and Reliable Storage Systems
PPoPP 2020   Principles and Practice of Parallel Programming
SRDS Poster-Demo 2019   38th IEEE International Symposium on Reliable Distributed Systems - Poster and Demos
PPDP 2019   21st International Symposium on Principles and Practice of Declarative Programming
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020