| 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 | 3 | 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 | 1 | 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 | | 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 | | 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 | | 2019 |
