Specifying and checking semantic atomicity for multithreaded programs

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]

Authors

Jacob Burnim

This author has not been identified. Look up 'Jacob Burnim' in Google

George C. Necula

This author has not been identified. Look up 'George C. Necula' in Google

Koushik Sen

This author has not been identified. Look up 'Koushik Sen' in Google