Lingzhi Ouyang

According to our database, Lingzhi Ouyang authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Multi-Grained Specifications for Distributed System Model Checking and Verification.

Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu

CoRR, 2024

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

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.

Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma

CoRR, 2023

Leveraging TLA⁺ Specifications to Improve the Reliability of the ZooKeeperCoordination Service.

Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

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

Yuqi Zhang, Lingzhi Ouyang, Yu Huang, Xiaoxing Ma

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

2021

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

Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu

IEEE Trans. Parallel Distributed Syst., 2021

2019

Inversion-based Measurement of Data Consistency for Read/Write Registers.

Yu Huang, Hengfeng Wei, Maosen Huang, Lingzhi Ouyang

CoRR, 2019