2 citations · 9 across the 12 of their papers we have counts for
Showing 2022 · cs.DCShow all
3 papers · 2 filters
cs.DC2022★ 1 cited
Tunable Causal Consistency: Specification and Implementation
Xue Jiang, Hengfeng Wei, Yu Huang
To achieve high availability and low latency, distributed data stores often geographically replicate data at multiple sites called replicas. However, this introduces the data consi…
cs.DC2022★ 2 cited
ViSearch: Weak Consistency Measurement for Replicated Data Types
Lintian Shi, Yuqi Zhang, Yu Huang +2
Large-scale replicated data type stores often resort to eventual consistency to guarantee low latency and high availability. It is widely accepted that programming over eventually…
cs.DC2022★ 1 cited
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations
Yuqi Zhang, Yu Huang, Hengfeng Wei +1
Internet-scale distributed systems often replicate data at multiple geographic locations to provide low latency and high availability. The Conflict-free Replicated Data Type (CRDT)…