Conditional must not aliasing for static race detection (2007)

by M Naik, A Aiken
Venue:In Proceedings of the 34th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL