Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jian Zhang, Cheng Tan 0005 |
Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 23-29, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Conor Power, Saikrishna Achalla, Ryan Cottone, Nathaniel Macasaet, Joseph M. Hellerstein |
Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental View Maintenance and Eventual Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 15-22, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier |
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 44-57, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Florian Jacob, Hannes Hartenstein |
Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 37-43, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard |
Bigger, not Badder: Safely Scaling BFT Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 30-36, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Leo Stewen, Martin Kleppmann |
Undo and Redo Support for Replicated Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 1-7, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Carla Ferreira 0001, Gustavo Petri, Marc Shapiro 0001 |
Models for Storage in Database Backends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 58-66, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Liangrun Da, Martin Kleppmann |
Extending JSON CRDTs with Move Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024, pp. 8-14, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Sushant Mane, Fangmin Lyu, Benjamin C. Reed |
Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 16-22, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elisa Gonzalez Boix, Pierre Sutra (eds.) |
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Guarnieri, Aleksey Charapko |
Linearizable Low-latency Reads at the Edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 77-83, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Jeffery, Richard Mortier |
AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 44-50, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Henrique Fernandes, Carlos Baquero |
Probabilistic Causal Contexts for Scalable CRDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 1-8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Lawniczak, Marco Ammon, Tobias Distler |
Generic Checkpointing Support for Stream-based State-Machine Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 23-29, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Kevin De Porre, Elisa Gonzalez Boix |
[Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 51-55, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nuno M. Santos, Luís M. Silva, João Leitão 0001, Nuno M. Preguiça |
Data Management for mobile applications dependent on geo-located data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 70-76, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | João Rafael Pinto Soares, Luís E. T. Rodrigues |
Performance Trade-offs in Transactional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 30-36, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Natalie Neamtu, Haobin Ni, Robbert van Renesse |
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 9-15, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Florian Jacob, Hannes Hartenstein |
On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 63-69, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elena Yanakieva, Philipp Bird, Annette Bieniusa |
A Study of Semantics for CRDT-based Collaborative Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 37-43, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller |
For-Each Operations in Collaborative Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, pp. 56-62, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Heidi Howard, Richard Mortier |
Relaxed Paxos: quorum intersection revisited (again). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 16-23, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kleppmann |
Making CRDTs Byzantine fault tolerant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 8-15, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amos Brocco |
Melda: a general purpose delta state JSON CRDT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 1-7, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Szekeres, K. C. Sivaramakrishnan (eds.) |
PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-9256-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nazmus Saquib, Chandra Krintz, Rich Wolski |
Ordering operations for generic replicated data types using version trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 39-46, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Schiefer, Geoffrey Litt, Daniel Jackson 0001 |
Merge what you can, fork what you can't: managing data integrity in local-first software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 24-32, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Weidner, Paulo Sérgio Almeida |
An oblivious observed-reset embeddable replicated counter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 47-52, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rebecca Bilbro, Benjamin Bengfort, Pete Keleher |
Bilateral anti-entropy for eventual consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 53-59, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Antoine Rault, Claudia-Lavinia Ignat, Olivier Perrin 0001 |
Distributed access control for collaborative applications using CRDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022, pp. 33-38, 2022, ACM, 978-1-4503-9256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arik Rinberg, Tomer Solomon, Guy Khazma, Gal Lushi, Roee Shlomo, Paula Ta-Shma |
Array CRDTs Using Delta-Mutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 3:1-3:3, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Braun, Annette Bieniusa, Frank Elberzhager |
Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 9:1-9:12, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Litt, Peter van Hardenberg, Orion Henry |
Cambria: Schema Evolution in Distributed Systems with Edit Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 8:1-8:9, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vasilis Gavrielatos, Vijay Nagarajan, Panagiota Fatourou |
Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 5:1-5:10, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-8338-7 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Faria, José Pereira 0001 |
Totally-Ordered Prefix Parallel Snapshot Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 6:1-6:7, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa |
Access Control Conflict Resolution in Distributed File Systems using CRDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 1:1-1:3, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ta-Yuan Hsu, Ajay D. Kshemkalyani |
Convergent Causal Consistency for Social Media Posts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 10:1-10:8, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica |
Read-Write Quorum Systems Made Practical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 7:1-7:8, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Elisa Gonzalez Boix |
Improving the Reactivity of Pure Operation-Based CRDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 4:1-4:6, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martijn Sauwens, Kristof Jannes, Bert Lagaisse, Wouter Joosen |
SCEW: Programmable BFT-Consensus with Smart Contracts for Client-Centric P2P Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, pp. 2:1-2:7, 2021, ACM, 978-1-4503-8338-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diptanshu Kakwani, Rupesh Nasre |
Orion: time estimated causally consistent key-value store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 3:1-3:6, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Heidi Howard, Richard Mortier |
Paxos vs Raft: have we reached consensus on distributed consensus? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 8:1-8:9, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eischer, Benedikt Straßner, Tobias Distler |
Low-latency geo-replicated state machines with guaranteed writes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 13:1-13:9, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Elisa Gonzalez Boix |
Flec: a versatile programming framework for eventually consistent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 12:1-12:4, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alan D. Fekete, Martin Kleppmann (eds.) |
7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-7524-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Weidner, Heather Miller, Christopher Meiklejohn |
Composing and decomposing op-based CRDTs with semidirect products: (summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 14:1-14:2, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Grosch, Roman Krafft, Marcel Wölki, Annette Bieniusa |
AutoCouch: a JSON CRDT framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 6:1-6:7, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jack Waudby, Paul D. Ezhilchelvan, Jim Webber, Isi Mitrani |
Preserving reciprocal consistency in distributed graph databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 2:1-2:7, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Nicolas, Gérald Oster, Olivier Perrin 0001 |
Efficient renaming in sequence CRDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 9:1-9:8, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Albert van der Linde, Pedro Fouto, João Leitão 0001, Nuno M. Preguiça |
The intrinsic cost of causal consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 1:1-1:6, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter van Hardenberg, Martin Kleppmann |
PushPin: towards production-quality peer-to-peer collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 10:1-10:10, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victor Grishchenko, Mikhail A. Patrakeev |
Chronofold: a data structure for versioned text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 7:1-7:9, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Weihai Yu, Sigbjørn Rostad |
A low-cost set CRDT based on causal lengths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 5:1-5:6, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Albert van der Linde, Diogo Serra, João Leitão 0001, Nuno M. Preguiça |
On combining fault tolerance and partial replication with causal consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 11:1-11:5, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kleppmann |
Moving elements in list CRDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, pp. 4:1-4:6, 2020, ACM, 978-1-4503-7524-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero |
Higher-Order Patterns in Replicated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 5:1-5:6, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Lima, Hugo Miranda, François Taïani |
Support of Strong Consistency on Fog Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 3:1-3:6, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sreeja S. Nair, Gustavo Petri, Marc Shapiro 0001 |
Invariant Safety for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 4:1-4:7, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Mealha, Nuno M. Preguiça, Maria Cecilia Gomes, João Leitão 0001 |
Data Replication on the Cloud/Edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 7:1-7:7, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-6276-4 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford |
Interleaving anomalies in collaborative text editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 6:1-6:7, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carla Ferreira 0001 |
Techniques for safe and highly available cloud applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 1:1-1:2, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix |
A Generic Replicated Data Type for Strong Eventual Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 8:1-8:3, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Deyerl, Tobias Distler |
In Search of a Scalable Raft-based Replication Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, pp. 2:1-2:7, 2019, ACM, 978-1-4503-6276-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vasilas, Marc Shapiro 0001, Bradley King |
A modular design for geo-distributed querying: work in progress report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 4:1-4:4, 2018, ACM, 978-1-4503-5655-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Florian Myter, Elisa Gonzalez Boix |
Constraining the eventual in eventual consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 2:1-2:3, 2018, ACM, 978-1-4503-5655-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marc Shapiro 0001, Annette Bieniusa, Peter Zeller 0001, Gustavo Petri |
Ensuring referential integrity under causal consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 1:1-1:5, 2018, ACM, 978-1-4503-5655-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Burckhardt, Marko Vukolic (eds.) |
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-5655-8 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Szekeres, Irene Zhang |
Making consistency more consistent: a unified model for coherence, consistency and isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 7:1-7:8, 2018, ACM, 978-1-4503-5655-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ellis Michael, Dan R. K. Ports |
Towards causal datacenter networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 8:1-8:4, 2018, ACM, 978-1-4503-5655-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bravo, Luís E. T. Rodrigues |
Towards affordable externally consistent guarantees for geo-replicated systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 3:1-3:4, 2018, ACM, 978-1-4503-5655-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kia Rahmani, Gowtham Kaki, Suresh Jagannathan |
Fine-grained distributed consistency guarantees with effect orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, pp. 6:1-6:5, 2018, ACM, 978-1-4503-5655-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georges Younes 0002, Paulo Sérgio Almeida, Carlos Baquero |
Compact Resettable Counters through Causal Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 2:1-2:3, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Zeller 0001 |
Testing properties of weakly consistent programs with Repliss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 3:1-3:5, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gonçalo Tomás, Peter Zeller 0001, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão 0001, Nuno M. Preguiça |
FMKe: a Real-World Benchmark for Key-Value Data Stores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 7:1-7:4, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão 0001 |
Borrowing an Identity for a Distributed Counter: Work in progress report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 4:1-4:3, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gonçalo Marcelino, Valter Balegas, Carla Ferreira 0001 |
Bringing Hybrid Consistency Closer to Programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 6:1-6:4, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | João Loff, Daniel Porto 0002, Carlos Baquero, João Garcia 0001, Nuno M. Preguiça, Rodrigo Rodrigues 0001 |
Transparent cross-system consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 8:1-8:4, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Annette Bieniusa, Alexey Gotsman (eds.) |
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-4933-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tim Jungnickel, Lennart Oldenburg |
pluto: The CRDT-Driven IMAP Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 1:1-1:5, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ali Shoker, Houssam Yactine, Carlos Baquero |
As Secure as Possible Eventual Consistency: Work in Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, pp. 5:1-5:5, 2017, ACM, 978-1-4503-4933-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Alvaro, Alysson Bessani (eds.) |
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-4296-4 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christian Weilbach, Konrad Kühne, Annette Bieniusa |
Decoupling conflict resolution with CDVCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 11:1-11:6, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Scott Lystig Fritchie |
Coordinating distributed system configuration changes with humming consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 6:1-6:4, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro 0001 |
Eventually consistent register revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 9:1-9:3, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Valter Balegas, Sérgio Duarte, Carla Ferreira 0001, Nuno M. Preguiça, Rodrigo Rodrigues 0001 |
Making weak consistency great again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 7:1-7:3, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Baquero, Paulo Sérgio Almeida, Carl Lerche |
The problem with embedded CRDT counters and a solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 10:1-10:3, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt |
Serializable eventual consistency: consistency through object method replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 3:1-3:3, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Herb, Tim Jungnickel, Christoph Alt |
Weak consistency and stochastic environments: harmonization of replicated machine learning models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 8:1-8:3, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Albert van der Linde, João Leitão 0001, Nuno M. Preguiça |
Δ-CRDTs: making Δ-CRDTs delta-based. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 12:1-12:4, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Russell Brown, Zeeshan Lakhani, Paul Place |
Big(ger) sets: decomposed delta CRDT sets in Riak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 5:1-5:5, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Z. Tomsic, Tyler Crain, Marc Shapiro 0001 |
PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 4:1-4:4, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira 0001, Marc Shapiro 0001 |
The CISE tool: proving weakly-consistent applications correct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 2:1-2:3, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Deepthi Devaki Akkoorath, Annette Bieniusa |
Highly-scalable concurrent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 13:1-13:4, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Viotti, Christopher Meiklejohn, Marko Vukolic |
Towards property-based consistency verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, pp. 1:1-1:4, 2016, ACM, 978-1-4503-4296-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Navalho, Sérgio Duarte, Nuno M. Preguiça |
A study of CRDTs that do computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April 21, 2015, pp. 1:1-1:4, 2015, ACM, 978-1-4503-3537-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Baquero, Marco Serafini (eds.) |
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April 21, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![ACM, 978-1-4503-3537-9 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bravo, Paolo Romano 0002, Luís E. T. Rodrigues, Peter Van Roy |
Reducing the vulnerability window in distributed transactional protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPoC@EuroSys ![In: Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April 21, 2015, pp. 10:1-10:4, 2015, ACM, 978-1-4503-3537-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|