Jacob Burnim, George C. Necula, Koushik Sen. Specifying and checking semantic atomicity for multithreaded programs. In Rajiv Gupta, Todd C. Mowry, editors, Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011. pages 79-90, ACM, 2011. [doi]
Abstract is missing.