Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs | IEEE Conference Publication | IEEE Xplore