Lingzhi Ouyang
Cited by
Cited by
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores
L Ouyang, Y Huang, H Wei, J Lu
IEEE Transactions on Parallel and Distributed Systems 32 (4), 815-829, 2020
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
L Ouyang, Y Huang, B Huang, X Ma
Dependable Software Engineering. Theories, Tools, and Applications: 9th …, 2023
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration
R Tang, X Sun, Y Huang, Y Wei, L Ouyang, X Ma
Proceedings of the Nineteenth European Conference on Computer Systems, 736-753, 2024
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation
Y Zhang, L Ouyang, Y Huang, X Ma
Proceedings of the 14th Asia-Pacific Symposium on Internetware, 302-312, 2023
Inversion-based Measurement of Data Consistency for Read/Write Registers
Y Huang, H Wei, M Huang, L Ouyang
arXiv preprint arXiv:1901.02192, 2019
The system can't perform the operation now. Try again later.
Articles 1–5