Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics.

Sanjana Singh Divyanjali Sharma Subodh Sharma

Published in: CoRR (2021)

Keyphrases

dynamic environments
database systems
face verification
multiscale