research
∙
07/30/2022
Fence Synthesis under the C11 Memory Model
The C/C++11 (C11) standard offers a spectrum of ordering guarantees on m...
share
research
∙
07/06/2021
Thread-modular Analysis of Release-Acquire Concurrency
We present a thread-modular abstract interpretation(TMAI) technique to v...
research
∙
03/02/2021
Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics
We investigate the problem of runtime analysis of C11 programs under Mul...
research
∙
05/10/2019