Automated type-based analysis of data races and atomicity.

Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller

Browse the full PPoPP paper archive.