[erlang-questions] [CFP] PaPoC Workshop, colocated with EuroSys 2015

Sean Cribbs sean@REDACTED
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
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 system: 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 in the conference website



Paper submission: February 10, 2015

Authors notification: March 6, 2015

Workshop: April 21, 2015 (in Bordeaux, France - colocated with Eurosys 2015)


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)

Sean Cribbs <sean@REDACTED>
Sr. Software Engineer
Basho Technologies, Inc.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20141217/6cb22f4e/attachment.htm>

More information about the erlang-questions mailing list