Optimized run-time race detection and atomicity checking using partial discovered types.

Rahul Agarwal Amit Sasturkar Liqiang Wang Scott D. Stoller Optimized run-time race detection and atomicity checking using partial discovered types. 233-242 2005 conf/kbse/2005 ASE http://doi.acm.org/10.1145/1101908.1101944 db/conf/kbse/ase2005.html#AgarwalSWS05