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]
No references recorded for this publication.
No citations of this publication recorded.