Kaile Huang

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Coloured Petri Nets

Tightly Coupled

Top Venues

Proc. VLDB Endow.

Publications

Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. 16 (6) (2023)
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR (2023)
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol. CoRR (2021)
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. SSS (2021)
Kaile Huang, Yu Huang, Hengfeng Wei
Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers. CoRR (2020)
Kaile Huang, Yu Huang, Hengfeng Wei
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers. PODC (2020)