@inproceedings{LuPHMJLPZ07,
	author = {Lu, Shan and Park, Soyeon and Hu, Chongfeng and Ma, Xiao and Jiang, Weihang and Li, Zhenmin and Popa, Raluca Ada and Zhou, Yuanyuan},
	title = {MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs},
	booktitle = {Proceedings of the Twenty-First ACM Symposium on Operating Systems Principles},
	year = {2007},
	pages = {103--116},
}