Personal information

No personal information available

Activities

Works (4)

Leveraging TLA$$^+$$ Specifications to Improve the Reliability of the ZooKeeperCoordination Service

2024 | Book chapter
Contributors: Lingzhi Ouyang; Yu Huang; Binyu Huang; Xiaoxing Ma
Source: check_circle
Crossref

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration

2024-04-22 | Conference paper
Contributors: Ruize Tang; Xudong Sun; Yu Huang; Yuyang Wei; Lingzhi Ouyang; Xiaoxing Ma
Source: check_circle
Crossref

Conflict-free Replicated Priority Queue: Design, Verification and Evaluation

2023-08-04 | Conference paper
Contributors: Yuqi Zhang; Lingzhi Ouyang; Yu Huang; Xiaoxing Ma
Source: check_circle
Crossref

Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores

IEEE Transactions on Parallel and Distributed Systems
2021-04-01 | Journal article
Part of ISSN: 1045-9219
Part of ISSN: 1558-2183
Part of ISSN: 2161-9883
Contributors: Lingzhi Ouyang; Yu Huang; Hengfeng Wei; Jian Lu
Source: Self-asserted source
Lingzhi Ouyang