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
∙
06/29/2022
Coo: Consistency Check for Transactional Databases
In modern databases, transaction processing technology provides ACID (At...
research
∙
03/06/2022
Divide and Conquer: Text Semantic Matching with Disentangled Keywords and Intents
Text semantic matching is a fundamental task that has been widely used i...
research
∙
11/29/2021
Verifying Transactional Consistency of MongoDB
MongoDB is a popular general-purpose, document-oriented, distributed NoS...
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
∙
09/14/2021