Optimizing Synchronization Algorithm for Auto-parallelizing Compiler - Gang Liao; Si-hui Qin; Longfei Ma; Qi Sun (CoRR, 2012)