Yu Huang
Cited by
Cited by
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
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
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
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
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
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
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
支持乱序执行的 Raft 协议
谷晓松, 魏恒峰, 乔磊, 黄宇
软件学报 32 (6), 1748-1778, 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
The system can't perform the operation now. Try again later.
Articles 1–10