Inversion-based Measurement of Data Consistency for Read/Write Registers. - Yu Huang 002; Hengfeng Wei; Maosen Huang; Lingzhi Ouyang (CoRR, 2019)

Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores. - Lingzhi Ouyang; Yu Huang 002; Hengfeng Wei; Jian Lu 001 (IEEE Trans. Parallel Distributed Syst., 2021)

Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. - Yuqi Zhang; Lingzhi Ouyang; Yu Huang 002; Xiaoxing Ma (Internetware, 2023)

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. - Lingzhi Ouyang; Yu Huang 002; Binyu Huang; Xiaoxing Ma (SETTA, 2023)

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. - Lingzhi Ouyang; Yu Huang 002; Binyu Huang; Hengfeng Wei; Xiaoxing Ma (CoRR, 2023)

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. - Ruize Tang; Xudong Sun 013; Yu Huang 002; Yuyang Wei; Lingzhi Ouyang; Xiaoxing Ma (EuroSys, 2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification. - Lingzhi Ouyang; Xudong Sun 013; Ruize Tang; Yu Huang 002; Madhav Jivrajani; Xiaoxing Ma; Tianyin Xu (EuroSys, 2025)