Yuan Zhang Evelyn Duesterwald Guang R. Gao Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers. 95-109 2007 LCPC http://dx.doi.org/10.1007/978-3-540-85261-2_7 conf/lcpc/2007 db/conf/lcpc/lcpc2007.html#ZhangDG07