Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs.

Yuelu Duan, Xiaobing Feng, Lei Wang, Chao Zhang, Pen-Chung Yew

Browse the full CGO paper archive.