<div dir="ltr"><div>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. <br></div><div><br></div><div>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. </div><div><br></div><div>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:</div><div><br></div><div>* Design principles, correctness conditions, and programming patterns for scalable distributed data systems.</div><div>* Techniques for weak consistency: session guarantees, causal consistency, operational transformation, conflict-free replicated data types, monotonic programming, state merge, commutativity, etc.</div><div>* Consistency vs. performance and scalability trade-offs: guiding developers, controlling the system.</div><div>* Analysis and verification of weakly consistent programs.</div><div>* Strengthening guarantees of weakly consistent system: transactions, fault tolerance, security, ensuring invariants, bounding metadata size, and controlling divergence.</div><div>* Platform guarantees vs. application involvement: guiding developers, controlling the system.</div><div><br></div><div>More information about the conference can be found in the conference website</div><div><br></div><div><a href="http://papoc.di.uminho.pt">http://papoc.di.uminho.pt</a></div><div><br></div><div> </div><div><br></div><div>*** IMPORTANT DATES ***</div><div><br></div><div><br></div><div>Paper submission: February 10, 2015</div><div><br></div><div>Authors notification: March 6, 2015</div><div><br></div><div>Workshop: April 21, 2015 (in Bordeaux, France - colocated with Eurosys 2015)</div><div><br></div><div><br></div><div><br></div><div>*** ORGANIZATION *** </div><div><br></div><div><br></div><div>Program Chairs</div><div><br></div><div>* Carlos Baquero (INESC TEC & University of Minho, Portugal)</div><div>* Marco Serafini (Qatar Computing Research Institute, Qatar)</div><div><br></div><div> </div><div>Program Committee</div><div><br></div><div>* Peter Alvaro (UC Berkeley, USA)</div><div>* Sebastian Burckhardt (Microsoft Research, USA)</div><div>* Sean Cribbs (Basho Technologies Inc., USA)</div><div>* Wojciech Golab (University of Waterloo, Canada)</div><div>* Rachid Guerraoui (École Polytechnique Fédérale de Lausanne, Switzerland)</div><div>* Lindsey Kuper (Intel Labs, USA)</div><div>* Rune Skou Larsen (Trifork, Denmark)</div><div>* Fernando Pedone (University of Lugano (USI), Switzerland)</div><div>* Rodrigo Rodrigues (NOVA-LINCS & NOVA University of Lisbon, Portugal)</div><div>* Kapil Vaswani (Microsoft Research, India)</div><div><br></div><div><br></div><div>Steering Committee</div><div><br></div><div>* Peter Bailis (UC Berkeley, USA)</div><div>* Alexey Gotsman (IMDEA Software, Spain)</div><div>* Nuno Preguiça (NOVA-LINCS & NOVA University of Lisbon, Portugal)</div><div>* Marc Shapiro (INRIA & LIP6, France)</div><div>* Justin Sheehy (VMware Inc., USA)</div><div><br></div>-- <br><div class="gmail_signature">Sean Cribbs <<a href="mailto:sean@basho.com" target="_blank">sean@basho.com</a>><br>Sr. Software Engineer<br>Basho Technologies, Inc.<br><a href="http://basho.com/" target="_blank">http://basho.com/</a></div>
</div>