The Complexity of Predicting Atomicity Violations.

Azadeh Farzan, P. Madhusudan

Browse the full TACAS paper archive.