8 citations · 11 across the 4 of their papers we have counts for
Showing cs.DCShow all
3 papers · 1 filter
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)…
cs.DC2019
Remove-Win: a Design Framework for Conflict-free Replicated Data Types
Yuqi Zhang, Hengfeng Wei, Yu Huang
Distributed storage systems employ replication to improve performance and reliability. To provide low latency data access, replicas are often required to accept updates without coo…