Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jian Zhang, Cheng Tan 0005 |
Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Florian Jacob, Hannes Hartenstein |
Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Leo Stewen, Martin Kleppmann |
Undo and Redo Support for Replicated Registers. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Liangrun Da, Martin Kleppmann |
Extending JSON CRDTs with Move Operations. |
PaPoC@EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Sushant Mane, Fangmin Lyu, Benjamin C. Reed |
Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Guarnieri, Aleksey Charapko |
Linearizable Low-latency Reads at the Edge. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Jeffery, Richard Mortier |
AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Henrique Fernandes, Carlos Baquero |
Probabilistic Causal Contexts for Scalable CRDTs. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Lawniczak, Marco Ammon, Tobias Distler |
Generic Checkpointing Support for Stream-based State-Machine Replication. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | João Rafael Pinto Soares, Luís E. T. Rodrigues |
Performance Trade-offs in Transactional Systems. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Natalie Neamtu, Haobin Ni, Robbert van Renesse |
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Florian Jacob, Hannes Hartenstein |
On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elena Yanakieva, Philipp Bird, Annette Bieniusa |
A Study of Semantics for CRDT-based Collaborative Spreadsheets. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller |
For-Each Operations in Collaborative Apps. |
PaPoC@EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Heidi Howard, Richard Mortier |
Relaxed Paxos: quorum intersection revisited (again). |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kleppmann |
Making CRDTs Byzantine fault tolerant. |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amos Brocco |
Melda: a general purpose delta state JSON CRDT. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nazmus Saquib, Chandra Krintz, Rich Wolski |
Ordering operations for generic replicated data types using version trees. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Weidner, Paulo Sérgio Almeida |
An oblivious observed-reset embeddable replicated counter. |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rebecca Bilbro, Benjamin Bengfort, Pete Keleher |
Bilateral anti-entropy for eventual consistency. |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Antoine Rault, Claudia-Lavinia Ignat, Olivier Perrin 0001 |
Distributed access control for collaborative applications using CRDTs. |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arik Rinberg, Tomer Solomon, Guy Khazma, Gal Lushi, Roee Shlomo, Paula Ta-Shma |
Array CRDTs Using Delta-Mutations. |
PaPoC@EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Braun, Annette Bieniusa, Frank Elberzhager |
Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems. |
PaPoC@EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Litt, Peter van Hardenberg, Orion Henry |
Cambria: Schema Evolution in Distributed Systems with Edit Lenses. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Faria, José Pereira 0001 |
Totally-Ordered Prefix Parallel Snapshot Isolation. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ta-Yuan Hsu, Ajay D. Kshemkalyani |
Convergent Causal Consistency for Social Media Posts. |
PaPoC@EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Whittaker, Aleksey Charapko, Joseph M. Hellerstein, Heidi Howard, Ion Stoica |
Read-Write Quorum Systems Made Practical. |
PaPoC@EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Elisa Gonzalez Boix |
Improving the Reactivity of Pure Operation-Based CRDTs. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diptanshu Kakwani, Rupesh Nasre |
Orion: time estimated causally consistent key-value store. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Heidi Howard, Richard Mortier |
Paxos vs Raft: have we reached consensus on distributed consensus? |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eischer, Benedikt Straßner, Tobias Distler |
Low-latency geo-replicated state machines with guaranteed writes. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Elisa Gonzalez Boix |
Flec: a versatile programming framework for eventually consistent systems. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Weidner, Heather Miller, Christopher Meiklejohn |
Composing and decomposing op-based CRDTs with semidirect products: (summary). |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Grosch, Roman Krafft, Marcel Wölki, Annette Bieniusa |
AutoCouch: a JSON CRDT framework. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jack Waudby, Paul D. Ezhilchelvan, Jim Webber, Isi Mitrani |
Preserving reciprocal consistency in distributed graph databases. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Nicolas, Gérald Oster, Olivier Perrin 0001 |
Efficient renaming in sequence CRDTs. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter van Hardenberg, Martin Kleppmann |
PushPin: towards production-quality peer-to-peer collaboration. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victor Grishchenko, Mikhail A. Patrakeev |
Chronofold: a data structure for versioned text. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Weihai Yu, Sigbjørn Rostad |
A low-cost set CRDT based on causal lengths. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kleppmann |
Moving elements in list CRDTs. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero |
Higher-Order Patterns in Replicated Data Types. |
PaPoC@EuroSys |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Lima, Hugo Miranda, François Taïani |
Support of Strong Consistency on Fog Applications. |
PaPoC@EuroSys |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sreeja S. Nair, Gustavo Petri, Marc Shapiro 0001 |
Invariant Safety for Distributed Applications. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford |
Interleaving anomalies in collaborative text editors. |
PaPoC@EuroSys |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carla Ferreira 0001 |
Techniques for safe and highly available cloud applications. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Deyerl, Tobias Distler |
In Search of a Scalable Raft-based Replication Architecture. |
PaPoC@EuroSys |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vasilas, Marc Shapiro 0001, Bradley King |
A modular design for geo-distributed querying: work in progress report. |
PaPoC@EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Florian Myter, Elisa Gonzalez Boix |
Constraining the eventual in eventual consistency. |
PaPoC@EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marc Shapiro 0001, Annette Bieniusa, Peter Zeller 0001, Gustavo Petri |
Ensuring referential integrity under causal consistency. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Szekeres, Irene Zhang |
Making consistency more consistent: a unified model for coherence, consistency and isolation. |
PaPoC@EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ellis Michael, Dan R. K. Ports |
Towards causal datacenter networks. |
PaPoC@EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bravo, Luís E. T. Rodrigues |
Towards affordable externally consistent guarantees for geo-replicated systems. |
PaPoC@EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kia Rahmani, Gowtham Kaki, Suresh Jagannathan |
Fine-grained distributed consistency guarantees with effect orchestration. |
PaPoC@EuroSys |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georges Younes 0002, Paulo Sérgio Almeida, Carlos Baquero |
Compact Resettable Counters through Causal Stability. |
PaPoC@EuroSys |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Zeller 0001 |
Testing properties of weakly consistent programs with Repliss. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gonçalo Marcelino, Valter Balegas, Carla Ferreira 0001 |
Bringing Hybrid Consistency Closer to Programmers. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tim Jungnickel, Lennart Oldenburg |
pluto: The CRDT-Driven IMAP Server. |
PaPoC@EuroSys |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ali Shoker, Houssam Yactine, Carlos Baquero |
As Secure as Possible Eventual Consistency: Work in Progress. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christian Weilbach, Konrad Kühne, Annette Bieniusa |
Decoupling conflict resolution with CDVCS. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Scott Lystig Fritchie |
Coordinating distributed system configuration changes with humming consensus. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro 0001 |
Eventually consistent register revisited. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Baquero, Paulo Sérgio Almeida, Carl Lerche |
The problem with embedded CRDT counters and a solution. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt |
Serializable eventual consistency: consistency through object method replay. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Herb, Tim Jungnickel, Christoph Alt |
Weak consistency and stochastic environments: harmonization of replicated machine learning models. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Albert van der Linde, João Leitão 0001, Nuno M. Preguiça |
Δ-CRDTs: making Δ-CRDTs delta-based. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Russell Brown, Zeeshan Lakhani, Paul Place |
Big(ger) sets: decomposed delta CRDT sets in Riak. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Z. Tomsic, Tyler Crain, Marc Shapiro 0001 |
PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation. |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Deepthi Devaki Akkoorath, Annette Bieniusa |
Highly-scalable concurrent objects. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Viotti, Christopher Meiklejohn, Marko Vukolic |
Towards property-based consistency verification. |
PaPoC@EuroSys |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Navalho, Sérgio Duarte, Nuno M. Preguiça |
A study of CRDTs that do computations. |
PaPoC@EuroSys |
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 |
PaPoC@EuroSys |
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. |
PaPoC@EuroSys |
2015 |
DBLP DOI BibTeX RDF |
|