[TYPES/announce] CfP: Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)

[Aleksandar Nanevski]

[Talk proposals on formal approaches to consistency in distributed systems are welcome at the following workshop]

------------ Call for Papers ------------

PaPoC 2017 - Workshop on Principles and Practice of Consistency for Distributed Data
April 23, 2017.

http://software.imdea.org/Conferences/PAPOC17/cfp.shtml

-----------------------------------------------

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 the Consistency-Availability-Partition Tolerance trade-off 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 a large shared database, and in the presence of high latency and failure-prone networks. It is clear that there is no one universally best solution.

Possible approaches cover the whole spectrum between strong and eventual consistency. Strong consistency (total ordering via, for example, linearizability or serializability) provides familiar and intuitive semantics but requires slow and fragile synchronization and coordination overheads. The unlimited parallelism allowed by weaker models such as eventual consistency promises high performance, but divergence and conflicts make it difficult to ensure useful application invariants, and meta-data is hard to keep in check.

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 to investigate the principles and practice of consistency models for large-scale, fault-tolerant, distributed shared data systems. It will bring together theoreticians and practitioners from different horizons: system development, distributed algorithms, concurrency, fault tolerance, databases, language and verification, including both academia and industry.

*Relevant discussion topics include*

- Design principles, correctness conditions, and programming patterns for scalable distributed data systems.
- Techniques for weak consistency: session guarantees, causal consistency, operational transformation, conflict-free replicated data types, monotonic programming, state merge, commutativity, etc.
- Consistency vs. performance and scalability trade-offs: guiding developers, controlling the system.
- Analysis and verification of weakly consistent programs.
- Strengthening guarantees of weakly consistent system: transactions, fault tolerance, security, ensuring invariants, bounding metadata size, and controlling divergence.
- Platform guarantees vs. application involvement: guiding developers, controlling the system.
- Techniques for scaling and improving the performance of strongly consistent systems (e.g., Paxos-based or state machine replication).

*Submission Guidelines*

We solicit proposals for contributed talks. We recommend preparing proposals of 2 pages, written in English and in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. Authors will have the opportunity to choose if they want their papers published in ACM Digital Library (with papers from other EuroSys workshops).

*Important Dates*

- Paper submission: February 17, 2017 (any place on Earth)
- Authors notification: March 3, 2017

*Committees*

Program Chairs

Annette Bieniusa (University of Kaiserslautern, Germany)
Alexey Gotsman (IMDEA Software Institute, Spain)

Program Committee

Carlos Bacquero (University of Minho)
Sebastian Burckhardt (Microsoft Research)
Colin Charles (Percona)
Alan Fekete (University of Sydney)
João Leitão (INESC-ID)
Christopher Meiklejohn (Université Catholique de Louvain)
Achour Mostefaoui (University of Nantes)
Roberto Palmieri (Virginia Tech)
Fernando Pedone (University of Lugano)
Masoud Saeida Ardekani (Samsung Research America)
Ken Salem (University of Waterloo)
Pierre Sutra (Télécom SudParis)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170108/c9685b18/attachment.html>