Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (2004)

by Flanagan, Freund 2004a Flanagan, C, S N Freund
Venue:In Proc. ACM Symposium on Principles of Programming Languages (POPL