Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng. Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 160-174, ACM, Reno/Tahoe, Nevada, 2010. [doi]

This author has not been identified. Look up 'Yao Shi' in GoogleThis author has not been identified. Look up 'Soyeon Park' in GoogleThis author has not been identified. Look up 'Zuoning Yin' in GoogleThis author has not been identified. Look up 'Shan Lu' in GoogleThis author has not been identified. Look up 'Yuanyuan Zhou' in GoogleThis author has not been identified. Look up 'Wenguang Chen' in GoogleThis author has not been identified. Look up 'Weimin Zheng' in Google

runs on WebDSL