Conditional must not aliasing for static race detection (2007)

by Mayur Naik, Alex Aiken
Venue:In POPL ’07: Proceedings of the 34th annual ACM SIGPLANSIGACT symposium on Principles of programming languages