research
∙
02/06/2023
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
ZooKeeper is a coordination service, widely used as a backbone of variou...
share
research
∙
01/18/2023
Efficient Black-box Checking of Snapshot Isolation in Databases
Snapshot isolation (SI) is a prevalent weak isolation level that avoids ...
research
∙
11/07/2022
Tunable Causal Consistency: Specification and Implementation
To achieve high availability and low latency, distributed data stores of...
research
∙
05/06/2022
ViSearch: Weak Consistency Measurement for Replicated Data Types
Large-scale replicated data type stores often resort to eventual consist...
research
∙
04/29/2022
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations
Internet-scale distributed systems often replicate data at multiple geog...
research
∙
11/29/2021
Verifying Transactional Consistency of MongoDB
MongoDB is a popular general-purpose, document-oriented, distributed NoS...
research
∙
09/29/2021
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol
Causal consistency is a widely used weak consistency model that allows h...
research
∙
06/01/2021
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)
Modern online services rely on data stores that replicate their data acr...
research
∙
01/22/2020
Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers
This draft in its current version proves an impossibility result concern...
research
∙
05/04/2019
Remove-Win: a Design Framework for Conflict-free Replicated Data Collections
Internet-scale distributed systems often replicate data within and acros...
research
∙
01/08/2019