2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.DC2024★ 2 cited
Multi-Grained Specifications for Distributed System Model Checking and Verification
Lingzhi Ouyang, Xudong Sun, Ruize Tang +4
This paper presents our experience specifying and verifying the correctness of ZooKeeper, a complex and evolving distributed coordination system. We use TLA+ to model fine-grained…
cs.DC2023
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…
cs.DC2019
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…