Muvi: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (2007)

by Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou
Venue:In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP07