SharC: checking data sharing strategies for multithreaded C.

Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer

Browse the full PLDI paper archive.