Yue Yang Ganesh Gopalakrishnan Gary Lindstrom Memory-Model-Sensitive Data Race Analysis. 30-45 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=30 2004 conf/icfem/2004 ICFEM db/conf/icfem/icfem2004.html#YangGL04