Trace-Based Symbolic Analysis for Atomicity Violations.

Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta

Browse the full TACAS paper archive.