DMCA

Muvi: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (2007)

by Shan Lu , Soyeon Park , Chongfeng Hu , Xiao Ma , Weihang Jiang , Zhenmin Li , Raluca A. Popa , Yuanyuan Zhou
Venue:In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP07
Citations:70 - 8 self