AVIO: detecting atomicity violations via access interleaving invariants

Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou. AVIO: detecting atomicity violations via access interleaving invariants. In John Paul Shen, Margaret Martonosi, editors, Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006. pages 37-48, ACM, 2006. [doi]

Authors

Shan Lu

This author has not been identified. Look up 'Shan Lu' in Google

Joseph Tucek

This author has not been identified. Look up 'Joseph Tucek' in Google

Feng Qin

This author has not been identified. Look up 'Feng Qin' in Google

Yuanyuan Zhou

This author has not been identified. Look up 'Yuanyuan Zhou' in Google