Login / Signup
Kaile Huang
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 6
Top Topics
Coloured Petri Nets
Coarse Grained
Databases
Tightly Coupled
Top Venues
CoRR
Proc. VLDB Endow.
PODC
SSS
</>
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)