Login / Signup
PaPoC@EuroSys
Publications
2024
Chris Jensen
,
Heidi Howard
,
Antonios Katsarakis
,
Richard Mortier
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple.
PaPoC@EuroSys
(2024)
David C. Y. Chu
,
Chris Liu
,
Natacha Crooks
,
Joseph M. Hellerstein
,
Heidi Howard
Bigger, not Badder: Safely Scaling BFT Protocols.
PaPoC@EuroSys
(2024)
Jian Zhang
,
Cheng Tan
Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking.
PaPoC@EuroSys
(2024)
Edgard Schiebelbein
,
Saalik Hatia
,
Annette Bieniusa
,
Carla Ferreira
,
Gustavo Petri
,
Marc Shapiro
Models for Storage in Database Backends.
PaPoC@EuroSys
(2024)
Liangrun Da
,
Martin Kleppmann
Extending JSON CRDTs with Move Operations.
PaPoC@EuroSys
(2024)
Florian Jacob
,
Hannes Hartenstein
Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types.
PaPoC@EuroSys
(2024)
Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024
PaPoC@EuroSys
(2024)
Leo Stewen
,
Martin Kleppmann
Undo and Redo Support for Replicated Registers.
PaPoC@EuroSys
(2024)
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)
2023
Nuno M. Santos
,
Luís M. Silva
,
João Leitão
,
Nuno M. Preguiça
Data Management for mobile applications dependent on geo-located data.
PaPoC@EuroSys
(2023)
Rafael Soares
,
Luís E. T. Rodrigues
Performance Trade-offs in Transactional Systems.
PaPoC@EuroSys
(2023)
Joshua Guarnieri
,
Aleksey Charapko
Linearizable Low-latency Reads at the Edge.
PaPoC@EuroSys
(2023)
Matthew Weidner
,
Ria Pradeep
,
Benito Geordie
,
Heather Miller
For-Each Operations in Collaborative Apps.
PaPoC@EuroSys
(2023)
Elena Yanakieva
,
Philipp Bird
,
Annette Bieniusa
A Study of Semantics for CRDT-based Collaborative Spreadsheets.
PaPoC@EuroSys
(2023)
Natalie Neamtu
,
Haobin Ni
,
Robbert van Renesse
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.
PaPoC@EuroSys
(2023)
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023
PaPoC@EuroSys
(2023)
Sushant Mane
,
Fangmin Lyu
,
Benjamin Reed
Verify, And Then Trust: Data Inconsistency Detection in ZooKeeper.
PaPoC@EuroSys
(2023)
Pedro Henrique Fernandes
,
Carlos Baquero
Probabilistic Causal Contexts for Scalable CRDTs.
PaPoC@EuroSys
(2023)
Florian Jacob
,
Hannes Hartenstein
On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types.
PaPoC@EuroSys
(2023)
Andrew Jeffery
,
Richard Mortier
AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker.
PaPoC@EuroSys
(2023)
Laura Lawniczak
,
Marco Ammon
,
Tobias Distler
Generic Checkpointing Support for Stream-based State-Machine Replication.
PaPoC@EuroSys
(2023)
Jim Bauwens
,
Kevin De Porre
,
Elisa Gonzalez Boix
[Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing.
PaPoC@EuroSys
(2023)
2022
Martin Kleppmann
Making CRDTs Byzantine fault tolerant.
PaPoC@EuroSys
(2022)
Amos Brocco
Melda: a general purpose delta state JSON CRDT.
PaPoC@EuroSys
(2022)
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)
Nazmus Saquib
,
Chandra Krintz
,
Rich Wolski
Ordering operations for generic replicated data types using version trees.
PaPoC@EuroSys
(2022)
Pierre-Antoine Rault
,
Claudia-Lavinia Ignat
,
Olivier Perrin
Distributed access control for collaborative applications using CRDTs.
PaPoC@EuroSys
(2022)
Heidi Howard
,
Richard Mortier
Relaxed Paxos: quorum intersection revisited (again).
PaPoC@EuroSys
(2022)
Rebecca Bilbro
,
Benjamin Bengfort
,
Pete Keleher
Bilateral anti-entropy for eventual consistency.
PaPoC@EuroSys
(2022)
Nicholas Schiefer
,
Geoffrey Litt
,
Daniel Jackson
Merge what you can, fork what you can't: managing data integrity in local-first software.
PaPoC@EuroSys
(2022)
Matthew Weidner
,
Paulo Sérgio Almeida
An oblivious observed-reset embeddable replicated counter.
PaPoC@EuroSys
(2022)
2021
Michael J. Whittaker
,
Aleksey Charapko
,
Joseph M. Hellerstein
,
Heidi Howard
,
Ion Stoica
Read-Write Quorum Systems Made Practical.
PaPoC@EuroSys
(2021)
Ta-Yuan Hsu
,
Ajay D. Kshemkalyani
Convergent Causal Consistency for Social Media Posts.
PaPoC@EuroSys
(2021)
Nuno Faria
,
José Pereira
Totally-Ordered Prefix Parallel Snapshot Isolation.
PaPoC@EuroSys
(2021)
PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021
PaPoC@EuroSys
(2021)
Vasilis Gavrielatos
,
Vijay Nagarajan
,
Panagiota Fatourou
Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings.
PaPoC@EuroSys
(2021)
Arik Rinberg
,
Tomer Solomon
,
Guy Khazma
,
Gal Lushi
,
Roee Shlomo
,
Paula Ta-Shma
Array CRDTs Using Delta-Mutations.
PaPoC@EuroSys
(2021)
Elena Yanakieva
,
Michael Youssef
,
Ahmad Hussein Rezae
,
Annette Bieniusa
Access Control Conflict Resolution in Distributed File Systems using CRDTs.
PaPoC@EuroSys
(2021)
Susanne Braun
,
Annette Bieniusa
,
Frank Elberzhager
Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems.
PaPoC@EuroSys
(2021)
Martijn Sauwens
,
Kristof Jannes
,
Bert Lagaisse
,
Wouter Joosen
SCEW: Programmable BFT-Consensus with Smart Contracts for Client-Centric P2P Web Applications.
PaPoC@EuroSys
(2021)
Jim Bauwens
,
Elisa Gonzalez Boix
Improving the Reactivity of Pure Operation-Based CRDTs.
PaPoC@EuroSys
(2021)
Geoffrey Litt
,
Peter van Hardenberg
,
Orion Henry
Cambria: Schema Evolution in Distributed Systems with Edit Lenses.
PaPoC@EuroSys
(2021)
2020
Albert van der Linde
,
Diogo Serra
,
João Leitão
,
Nuno M. Preguiça
On combining fault tolerance and partial replication with causal consistency.
PaPoC@EuroSys
(2020)
Victor Grishchenko
,
Mikhail Patrakeev
Chronofold: a data structure for versioned text.
PaPoC@EuroSys
(2020)
Weihai Yu
,
Sigbjørn Rostad
A low-cost set CRDT based on causal lengths.
PaPoC@EuroSys
(2020)
Albert van der Linde
,
Pedro Fouto
,
João Leitão
,
Nuno M. Preguiça
The intrinsic cost of causal consistency.
PaPoC@EuroSys
(2020)
Matthieu Nicolas
,
Gérald Oster
,
Olivier Perrin
Efficient renaming in sequence CRDTs.
PaPoC@EuroSys
(2020)
Peter van Hardenberg
,
Martin Kleppmann
PushPin: towards production-quality peer-to-peer collaboration.
PaPoC@EuroSys
(2020)
7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020
PaPoC@EuroSys
(2020)
Diptanshu Kakwani
,
Rupesh Nasre
Orion: time estimated causally consistent key-value store.
PaPoC@EuroSys
(2020)