Detecting Conflicts Between Structure Accesses.

James R. Larus, Paul N. Hilfinger

Browse the full PLDI paper archive.