Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers. - Kaile Huang; Yu Huang 002; Hengfeng Wei (PODC, 2020)

Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers. - Kaile Huang; Yu Huang 002; Hengfeng Wei (CoRR, 2020)

Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. - Kaile Huang; Hengfeng Wei; Yu Huang 002; Haixiang Li; Anqun Pan (SSS, 2021)

Efficient Black-box Checking of Snapshot Isolation in Databases. - Kaile Huang; Si Liu 003; Zhenge Chen; Hengfeng Wei; David A. Basin; Haixiang Li; Anqun Pan (Proc. VLDB Endow., 2023)