1 citations · 2 across the 3 of their papers we have counts for
4 papers
Fence Synthesis under the C11 Memory Model
Sanjana Singh, Divyanjali Sharma, Ishita Jaju +1
The C/C++11 (C11) standard offers a spectrum of ordering guarantees on memory access operations. The combinations of such orderings pose a challenge in developing correct and effic…
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…
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…
Dynamic Verification with Observational Equivalence of C/C++ Concurrency
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Program executions under relaxed memory model (rmm) semantics are significantly more difficult to analyze; the rmm semantics result in out of order execution of program events lead…