[erlang-questions] [CFP] PaPoC Workshop, colocated with EuroSys 2015
Wed Dec 17 18:45:52 CET 2014
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
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 system: transactions, fault
tolerance, security, ensuring invariants, bounding metadata size, and
* Platform guarantees vs. application involvement: guiding developers,
controlling the system.
More information about the conference can be found in the conference website
*** IMPORTANT DATES ***
Paper submission: February 10, 2015
Authors notification: March 6, 2015
Workshop: April 21, 2015 (in Bordeaux, France - colocated with Eurosys 2015)
*** ORGANIZATION ***
* Carlos Baquero (INESC TEC & University of Minho, Portugal)
* Marco Serafini (Qatar Computing Research Institute, Qatar)
* 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)
* 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)
Sean Cribbs <sean@REDACTED>
Sr. Software Engineer
Basho Technologies, Inc.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions