research
∙
11/28/2022
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols
Distributed protocols are generally parametric and can be executed on a ...
share
research
∙
03/28/2022
Certified Mergeable Replicated Data Types
Replicated data types (RDTs) are data structures that permit concurrent ...
research
∙
03/09/2021
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Serializability is a well-understood concurrency control mechanism that ...
research
∙
04/21/2020
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
Geo-replicated systems provide a number of desirable properties such as ...
research
∙
08/15/2019
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Relational database applications are notoriously difficult to test and d...
research
∙
05/14/2019
Automated Parameterized Verification of CRDTs
Maintaining multiple replicas of data is crucial to achieving scalabilit...
research
∙
06/21/2018
Automated Detection of Serializability Violations under Weak Consistency
While a number of weak consistency mechanisms have been developed in rec...
research
∙
10/26/2017