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

[Lindsey Kuper]

Many distributed applications today need low latency, scalability,
high availability, and geo-replication. The well-known tradeoff
between Consistency, Availability, and Partition Tolerance (and low
latency) led to the development of weakly consistent data stores,
whose success made clear that "one size does not fit all" when it
comes to consistency. Designing correct applications using weakly
consistent shared data, however, is a challenging task.

The PaPoC workshop will bring forth ideas on how to use, specify, and
implement consistency semantics ranging from weaker to stronger
models. It will bring together academic researchers, industrial
researchers, and practitioners coming from different fields:
distributed algorithms, distributed systems, databases, programming
languages, and verification. Each of these fields has attacked the
problem of consistency from a different angle and there is ample
opportunity for synergies. PaPoC is the direct successor of the
EuroSys 2014 Workshop on Principles and Practice of Eventual
Consistency, which was attended by approximately 40 researchers from
the above fields.

Submissions should be short papers (2 pages or more) on cutting-edge
work, even if ongoing, or vision papers. Accepted papers will be
published in ACM Digital Library only upon the request of the authors.
Examples of 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 systems: transactions,
fault tolerance, security, ensuring invariants, bounding metadata
size, and controlling divergence.
- Platform guarantees vs. application involvement: guiding developers,
controlling the system.

 More information about the conference can be found at the conference website:
 http://papoc.di.uminho.pt

IMPORTANT DATES

Paper submission: February 10, 2015
Notifications: March 6, 2015
Workshop: April 21, 2015 (in Bordeaux, France - colocated with EuroSys 2015)

ORGANIZATION

Program Chairs

Carlos Baquero (INESC TEC & University of Minho, Portugal)
Marco Serafini (Qatar Computing Research Institute, Qatar)

Program Committee

Peter Alvaro (UC Berkeley, USA)
Sebastian Burckhardt (Microsoft Research, USA)
Sean Cribbs (Basho Technologies Inc., USA)
Wojciech Golab (University of Waterloo, Canada)
Rachid Guerraoui (École Polytechnique Fédérale de Lausanne, Switzerland)
Lindsey Kuper (Intel Labs, USA)
Rune Skou Larsen (Trifork, Denmark)
Fernando Pedone (University of Lugano (USI), Switzerland)
Rodrigo Rodrigues (NOVA-LINCS & NOVA University of Lisbon, Portugal)
Kapil Vaswani (Microsoft Research, India)

Steering Committee

Peter Bailis (UC Berkeley, USA)
Alexey Gotsman (IMDEA Software, Spain)
Nuno Preguiça (NOVA-LINCS & NOVA University of Lisbon, Portugal)
Marc Shapiro (INRIA & LIP6, France)
Justin Sheehy (VMware Inc., USA)