@inproceedings{muvi:sosp2007,
    author = "Shan Lu and Soyeon Park and Chongfeng Hu and Xiao Ma and Weihang Jiang and Zhenmin Li and Raluca A. Popa and Yuanyuan Zhou",
    title  = "MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs",
    booktitle = "Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP07)",
    month  = "October",
    year   = "2007",
}