Chen Tian Vijay Nagarajan Rajiv Gupta Sriraman Tallam Automated dynamic detection of busy-wait synchronizations. 947-972 2009 39 Softw., Pract. Exper. 11 http://dx.doi.org/10.1002/spe.922 db/journals/spe/spe39.html#TianNGT09