2 citations · 9 across the 12 of their papers we have counts for
14 papers
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
Lingzhi Ouyang, Yu Huang, Binyu Huang +1
ZooKeeper is a coordination service, widely used as a backbone of various distributed systems. Though its reliability is of critical importance, testing is insufficient for an indu…
Efficient Black-box Checking of Snapshot Isolation in Databases
Kaile Huang, Si Liu, Zhenge Chen +4
Snapshot isolation (SI) is a prevalent weak isolation level that avoids the performance penalty imposed by serializability and simultaneously prevents various undesired data anomal…
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…
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…
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)…
Verifying Transactional Consistency of MongoDB
Hongrong Ouyang, Hengfeng Wei, Yu Huang +2
MongoDB is a popular general-purpose, document-oriented, distributed NoSQL database. It supports transactions in three different deployments: single-document transactions utilizing…