Race Detection in Two Dimensions.

Dimitar Dimitrov, Martin T. Vechev, Vivek Sarkar

Browse the full SPAA paper archive.