Enabling context-awareness by predicate detection in asynchronous environments Y Yang, Y Huang, X Ma, J Lu IEEE Transactions on Computers 65 (2), 522-534, 2015 | 11 | 2015 |
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems H Wei, Y Huang, J Lu IEEE Transactions on Computers 66 (3), 502-514, 2017 | 10 | 2017 |
Verifying pipelined-ram consistency over read/write traces of data replicas H Wei, M De Biasi, Y Huang, J Cao, J Lu IEEE Transactions on Parallel and Distributed Systems 27 (5), 1511-1523, 2016 | 9* | 2016 |
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction X Gu, W Cao, Y Zhu, X Song, Y Huang, X Ma 2022 41st International Symposium on Reliable Distributed Systems (SRDS), 82-93, 2022 | 8 | 2022 |
Byz-gentlerain: An efficient byzantine-tolerant causal consistency protocol K Huang, H Wei, Y Huang, H Li, A Pan Stabilization, Safety, and Security of Distributed Systems: 23rd …, 2021 | 8 | 2021 |
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited H Wei, Y Huang, J Lu Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing …, 2018 | 6 | 2018 |
Checking causal consistency of MongoDB H Ouyang, H Wei, H Li, A Pan, Y Huang Journal of Computer Science and Technology, 128-146, 2022 | 5 | 2022 |
Remove-win: a design framework for conflict-free replicated data types Y Zhang, H Wei, Y Huang 2021 IEEE 27th International Conference on Parallel and Distributed Systems …, 2021 | 4 | 2021 |
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 | 4 | 2020 |
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers K Huang, Y Huang, H Wei Proceedings of the 39th Symposium on Principles of Distributed Computing …, 2020 | 4* | 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 |
Model‐checking‐driven explorative testing of CRDT designs and implementations Y Zhang, Y Huang, H Wei, X Ma Journal of Software: Evolution and Process, e2555, 2023 | 1 | 2023 |
CRDT 协议的 TLA+ 描述与验证 纪业, 魏恒峰, 黄宇, 吕建 软件学报 31 (5), 1332-1352, 2020 | 1 | 2020 |
PaxosStore 中共识协议 TPaxos 的推导, 规约与精化 易星辰, 魏恒峰, 黄宇, 乔磊, 吕建 软件学报 31 (8), 2336-2361, 2020 | 1 | 2020 |
Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores H Wei, Y Huang, J Lu 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 21-33, 2017 | 1 | 2017 |
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 |
支持乱序执行的 Raft 协议 谷晓松, 魏恒峰, 乔磊, 黄宇 软件学报 32 (6), 1748-1778, 2021 | | 2021 |
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 |