research
∙
01/18/2023
Efficient Black-box Checking of Snapshot Isolation in Databases
Snapshot isolation (SI) is a prevalent weak isolation level that avoids ...
share
research
∙
09/29/2021
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol
Causal consistency is a widely used weak consistency model that allows h...
research
∙
01/22/2020
