Automatic Verification of Determinism for Structured Parallel Programs.

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar

Browse the full SAS paper archive.