A Method for Predicting Two-Variable Atomicity Violations.

Zhuo Sun, Reng Zeng, Xudong He

Browse the full QRS paper archive.