MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.

Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou

Browse the full SOSP paper archive.