| 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 | 6 | 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 | 2 | 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 | 1 | 2024 |
| Multi-Grained Specifications for Distributed System Model Checking and Verification L Ouyang, X Sun, R Tang, Y Huang, M Jivrajani, X Ma, T Xu arXiv preprint arXiv:2409.14301, 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 |
