research
∙
05/28/2023
Overcoming Memory Weakness with Unified Fairness
We consider the verification of liveness properties for concurrent progr...
share
research
∙
04/07/2023
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Over the years, several memory models have been proposed to capture the ...
research
∙
02/04/2023
Parameterized Verification under TSO with Data Types
We consider parameterized verification of systems executing according to...
research
∙
11/16/2022
Optimal Stateless Model Checking of Transactional Programs under Causal Consistency
We present a framework for efficient stateless model checking (SMC) of c...
research
∙
07/20/2020