Atomizer: a dynamic atomicity checker for multithreaded programs (0)

by C Flanagan, S N Freund
Venue:In 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL