research
∙
03/22/2023
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
Modern applications, such as social networking systems and e-commerce pl...
share
research
∙
09/14/2022
Automated Synthesis of Asynchronizations
Asynchronous programming is widely adopted for building responsive and e...
research
∙
05/30/2022
Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
We propose a data-driven algorithm for numerical invariant synthesis and...
research
∙
01/22/2021
Checking Robustness Between Weak Transactional Consistency Models
Concurrent accesses to databases are typically encapsulated in transacti...
research
∙
11/19/2020
Checking Causal Consistency of Distributed Databases
The CAP Theorem shows that (strong) Consistency, Availability, and Parti...
research
∙
06/28/2019
Robustness Against Transactional Causal Consistency
Distributed storage systems and databases are widely used by various typ...
research
∙
05/21/2019
Checking Robustness Against Snapshot Isolation
Transactional access to databases is an important abstraction allowing p...
research
∙
04/18/2018
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
We address the problem of verifying message passing programs, defined as...
research
∙
04/14/2018
Reasoning About TSO Programs Using Reduction and Abstraction
We present a method for proving that a program running under the Total S...
research
∙
07/03/2017