2016 分布式数据原则和一致性实践研讨会 The Workshop on Principles and Practice of Consistency for Distributed Data

征稿已开启

已截稿

注册已开启

已截止

活动简介

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.

征稿信息

征稿范围

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).