Introduction
The Workshop on Principles and Practice of Consistency for Distributed Data will take place on April 18, 2016, in London, UK, and is co-located with the EuroSys 2016 conference. It is the direct successor of the EuroSys 2015 Workshop on Principles and Practice of Consistency for Distributed Data which brought together approximately 40 researchers and practitioners in the areas of distributed systems, programming languages, databases and concurrent programming. This workshop aims to investigate the principles and practice of weak consistency models for large-scale, 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. The Call for Papers for PaPoC 2016 is available, please consider submitting your work.
Call for paper
Submission Topics
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).
All Comments
Important Date
-
Apr 18
2016
Conference Date
-
Apr 18 2016
Registration deadline
Contact Information
Submit Comment