research
∙
07/29/2023
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
Event-driven multi-threaded programming is an important idiom for struct...
share
research
∙
05/28/2023
Overcoming Memory Weakness with Unified Fairness
We consider the verification of liveness properties for concurrent progr...
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
∙
01/25/2022
Probabilistic Total Store Ordering
We present Probabilistic Total Store Ordering (PTSO) – a probabilistic e...
research
∙
07/20/2020
The Decidability of Verification under Promising 2.0
In PLDI'20, Lee et al. introduced the promising semantics PS 2.0 of the...
research
∙
05/18/2020
On the Separability Problem of String Constraints
We address the separability problem for straight-line string constraints...
research
∙
08/02/2018
Optimal Stateless Model Checking under the Release-Acquire Semantics
We present a framework for efficient application of stateless model chec...
research
∙
06/21/2018
