HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.

Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller

Browse the full FASE paper archive.