8 citations · 9 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Thread-modular Analysis of Release-Acquire Concurrency
Divyanjali Sharma, Subodh Sharma
We present a thread-modular abstract interpretation(TMAI) technique to verify programs under the release-acquire (RA) memory model for safety property violations. The main contribu…
cs.PL2021
Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
We investigate the problem of runtime analysis of C11 programs under Multi-Copy-Atomic semantics (MCA). Under MCA, one can analyze program outcomes solely through interleaving and…