Automated atomicity-violation fixing
Instrumentation and sampling strategies for cooperative concurrency bug isolation