Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs (2008)

by Flanagan
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI