Optimized run-time race detection and atomicity checking using partial discovered types (2005)

by R Agarwal, A Sasturkar, L Wang, S D Stoller
Venue:In In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering