Verifying Strong Eventual Consistency in Distributed Systems

v1v2v3 (latest)

Verifying Strong Eventual Consistency in Distributed Systems

6 July 2017

Victor B. F. Gomes

Martin Kleppmann

Dominic P. Mulligan

ArXiv (abs)PDF HTML

Papers citing "Verifying Strong Eventual Consistency in Distributed Systems"

8 / 8 papers shown

Title
VeriFx: Correct Replicated Data Types for the Masses Kevin De Porre Carla Ferreira E. G. Boix 55 9 0 06 Jul 2022
Verified Causal Broadcast with Liquid Haskell Patrick Redmond Gan Shen Niki Vazou L. Kuper 22 6 0 29 Jun 2022
Katara: Synthesizing CRDTs with Verified Lifting Shadaj Laddad Conor Power Mae Milano Alvin Cheung J. M. Hellerstein 86 19 0 25 May 2022
Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases Martin Kleppmann Heidi Howard 43 29 0 01 Dec 2020
IsarStep: a Benchmark for High-level Mathematical Reasoning Wenda Li Lei Yu Yuhuai Wu Lawrence Charles Paulson AIMat LRM 77 10 0 13 Jun 2020
Conflict-free Replicated Data Types: An Overview Nuno M. Preguiça 37 49 0 27 Jun 2018
Conflict-free Replicated Data Types (CRDTs) Nuno M. Preguiça Carlos Baquero M. Shapiro 45 52 0 16 May 2018
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version) Martin Kleppmann Victor B. F. Gomes Dominic P. Mulligan A. Beresford 34 9 0 11 May 2018