Conditional must not aliasing for static race detection (2007)

by Mayur Naik, Alex Aiken
Venue:In Proceedings of POPL’07, SIGPLAN–SIGACT Symposium on Principles of Programming Languages