Lingzhi Ouyang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Deterministic Finite Automaton

Reachability Analysis

Top Venues

Publications

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. EuroSys (2024)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma
Specifications to Improve the Reliability of the ZooKeeperCoordination Service. SETTA (2023)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. CoRR (2023)
Yuqi Zhang, Lingzhi Ouyang, Yu Huang, Xiaoxing Ma
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. Internetware (2023)
Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores. IEEE Trans. Parallel Distributed Syst. 32 (4) (2021)
Yu Huang, Hengfeng Wei, Maosen Huang, Lingzhi Ouyang
Inversion-based Measurement of Data Consistency for Read/Write Registers. CoRR (2019)