Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sharma, Divyanjali"'
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 efficient weak memory programs. A common solution to preclude those program
Externí odkaz:
http://arxiv.org/abs/2208.00285
Autor:
Sharma, Divyanjali, Sharma, Subodh
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 contributions of our work are: we capture the execution order of program state
Externí odkaz:
http://arxiv.org/abs/2107.02346
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 reordering of thread events. As a result, obtaining intuitive explanat
Externí odkaz:
http://arxiv.org/abs/2103.01553
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 leading to an explosion of state-space. Dynamic partial order reduction (D
Externí odkaz:
http://arxiv.org/abs/1905.03957