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…
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol
Kaile Huang, Hengfeng Wei, Yu Huang +2
Causal consistency is a widely used weak consistency model that allows high availability despite network partitions. There are plenty of research prototypes and industrial deployme…
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)
Manuel Bravo, Alexey Gotsman, Borja de Régil +1
Modern online services rely on data stores that replicate their data across geographically distributed data centers. Providing strong consistency in such data stores results in hig…
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers
Kaile Huang, Yu Huang, Hengfeng Wei
Distributed multi-writer atomic registers are at the heart of a large number of distributed algorithms. While enjoying the benefits of atomicity, researchers further explore fast i…
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…
Inversion-based Measurement of Data Consistency for Read/Write Registers
Yu Huang, Hengfeng Wei, Maosen Huang +1
Both providers and consumers of distributed storage services benefit from the quantification of the severity of consistency violations. However, existing methods fail to capture a…
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
Hengfeng Wei, Yu Huang, Jian Lu
The replicated list object is frequently used to model the core functionality of replicated collaborative text editing systems. Since 1989, the convergence property has been a comm…
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems
Hengfeng Wei, Yu Huang, Jiannong Cao +1
A consistency/latency tradeoff arises as soon as a distributed storage system replicates data. For low latency, modern storage systems often settle for weak consistency conditions,…
Verifying PRAM Consistency over Read/Write Traces of Data Replicas
Hengfeng Wei, Marzio De Biasi, Yu Huang +2
Data replication technologies enable efficient and highly-available data access, thus gaining more and more interests in both the academia and the industry. However, data replicati…