@inproceedings{ShZh2007,
   author = {Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa and Yuanyuan Zhou},
   title = {MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs},
   booktitle = {SOSP ACM Symposium on Operating Systems Principles},
   year = {2007},
   category = {conference},
   format = {pdf},
}