Zachary R. Anderson David Gay Robert Ennals Eric A. Brewer SharC: checking data sharing strategies for multithreaded C. 149-158 2008 PLDI http://doi.acm.org/10.1145/1375581.1375600 conf/pldi/2008 db/conf/pldi/pldi2008.html#AndersonGEB08