MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou. MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In Thomas C. Bressoud, M. Frans Kaashoek, editors, Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007. pages 103-116, ACM, 2007. [doi]

This author has not been identified. Look up 'Shan Lu' in GoogleThis author has not been identified. Look up 'Soyeon Park' in GoogleThis author has not been identified. Look up 'Chongfeng Hu' in GoogleThis author has not been identified. Look up 'Xiao Ma' in GoogleThis author has not been identified. Look up 'Weihang Jiang' in GoogleThis author has not been identified. Look up 'Zhenmin Li' in GoogleThis author has not been identified. Look up 'Raluca A. Popa' in GoogleThis author has not been identified. Look up 'Yuanyuan Zhou' in Google

runs on WebDSL