Showing 1–16 of 16 results
/ Date/ Name
Nov 18, 2025Fast Verification of Strong Database Isolation (Extended Version)Nov 7, 2022Tunable Causal Consistency: Specification and ImplementationApr 3, 2025Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)Apr 2, 2025Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)Sep 29, 2021Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency ProtocolJun 1, 2021UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)Jul 7, 2015Almost Strong Consistency: "Good Enough" in Distributed Storage SystemsJan 18, 2023Efficient Black-box Checking of Snapshot Isolation in DatabasesFeb 21, 2013Verifying PRAM Consistency over Read/Write Traces of Data ReplicasAug 16, 2017Specification and Implementation of Replicated List: The Jupiter Protocol RevisitedNov 29, 2021Verifying Transactional Consistency of MongoDBJan 22, 2020Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic RegistersMay 6, 2022ViSearch: Weak Consistency Measurement for Replicated Data TypesJan 8, 2019Inversion-based Measurement of Data Consistency for Read/Write RegistersApr 29, 2022MET: Model Checking-Driven Explorative Testing of CRDT Designs and ImplementationsMay 4, 2019Remove-Win: a Design Framework for Conflict-free Replicated Data Types