Conditional must not aliasing for static race detection.

Mayur Naik, Alex Aiken

Browse the full POPL paper archive.