Yu Huang
Nanjing University
H-index: 8
Asia-China
Top articles of Yu Huang
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration | Ruize Tang Xudong Sun Yu Huang Yuyang Wei Lingzhi Ouyang | 2024/4/22 | |
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service | Lingzhi Ouyang Yu Huang Binyu Huang Xiaoxing Ma | 2023/11/27 | |
Model‐checking‐driven explorative testing of CRDT designs and implementations | Journal of Software: Evolution and Process | Yuqi Zhang Yu Huang Hengfeng Wei Xiaoxing Ma | 2023/3/15 |
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction | Xiaosong Gu Wei Cao Yicong Zhu Xuan Song Yu Huang | 2022/9/19 | |
Checking causal consistency of MongoDB | Hongrong Ouyang Hengfeng Wei Yu Huang | 2020/11/1 | |
Remove-win: a design framework for conflict-free replicated data types | Yuqi Zhang Hengfeng Wei Yu Huang | 2021/12/14 | |
支持乱序执行的 Raft 协议 | 软件学报 | 谷晓松, 魏恒峰, 乔磊, 黄宇 | 2021/2/7 |
Byz-gentlerain: An efficient byzantine-tolerant causal consistency protocol | Kaile Huang Hengfeng Wei Yu Huang Haixiang Li Anqun Pan | 2021 | |
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores | IEEE Transactions on Parallel and Distributed Systems | Lingzhi Ouyang Yu Huang Hengfeng Wei Jian Lu | 2020/10/28 |
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers | Kaile Huang Yu Huang Hengfeng Wei | 2020/7/31 | |
CRDT 协议的 TLA+ 描述与验证 | 软件学报 | 纪业, 魏恒峰, 黄宇, 吕建 | 2020/4/9 |
PaxosStore 中共识协议 TPaxos 的推导, 规约与精化 | 软件学报 | 易星辰, 魏恒峰, 黄宇, 乔磊, 吕建 | 2020 |