3 papers
cs.DB2023
Efficient Black-box Checking of Snapshot Isolation in Databases
Kaile Huang, Si Liu, Zhenge Chen +4
Snapshot isolation (SI) is a prevalent weak isolation level that avoids the performance penalty imposed by serializability and simultaneously prevents various undesired data anomal…
cs.DC2021
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol
Kaile Huang, Hengfeng Wei, Yu Huang +2
Causal consistency is a widely used weak consistency model that allows high availability despite network partitions. There are plenty of research prototypes and industrial deployme…
cs.DC2020
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers
Kaile Huang, Yu Huang, Hengfeng Wei
Distributed multi-writer atomic registers are at the heart of a large number of distributed algorithms. While enjoying the benefits of atomicity, researchers further explore fast i…