Static analysis of atomicity for programs with non-blocking synchronization.

Liqiang Wang, Scott D. Stoller

Browse the full PPoPP paper archive.