PaPEC@EuroSys

Publications

2014

Sylvain Lefebvre, Sathiya Prabhu Kumar, Raja Chiky
Simizer: evaluating consistency trade offs through simulation. PaPEC@EuroSys (2014)
Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran
Towards verifying eventually consistent applications. PaPEC@EuroSys (2014)
Szymon Francuzik, Cezary Sobaniec, Dariusz Wawrzyniak
A generic model of consistency guarantees for replicated services. PaPEC@EuroSys (2014)
Pawel T. Wojciechowski, Konrad Siek
Having your cake and eating it too: combining strong and eventual consistency. PaPEC@EuroSys (2014)
Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
Making operation-based CRDTs operation-based. PaPEC@EuroSys (2014)
Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, PaPEC@EuroSys 2014, April 13, 2014, Amsterdam, The Netherlands PaPEC@EuroSys (2014)
Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
Efficient state-based CRDTs by decomposition. PaPEC@EuroSys (2014)
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, Nuno M. Preguiça
Merging OT and CRDT algorithms. PaPEC@EuroSys (2014)
Tim Coppieters, Laure Philips, Wolfgang De Meuter, Tom Van Cutsem
An open implementation of cloud types for the web. PaPEC@EuroSys (2014)
Victor Grishchenko
Citrea and swarm: partially ordered op logs in the browser: implementing a collaborative editor and an object sync library in JavaScript. PaPEC@EuroSys (2014)
Antonio Davoli, Alessandro Mei
Triton: a peer-assisted cloud storage system. PaPEC@EuroSys (2014)
Konrad Iwanicki
Beyond replicated storage: eventually-consistent distributed data structures. PaPEC@EuroSys (2014)
Russell Brown, Sean Cribbs, Christopher Meiklejohn, Sam Elliott
Riak DT map: a composable, convergent replicated dictionary. PaPEC@EuroSys (2014)
Christopher Meiklejohn
On the composability of the Riak DT map: expanding from embedded to multi-key structures. PaPEC@EuroSys (2014)