Yuan Zhang, Evelyn Duesterwald, Guang R. Gao. Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers. In Vikram S. Adve, María Jesús Garzarán, Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Volume 5234 of Lecture Notes in Computer Science, pages 95-109, Springer, 2007. [doi]
Abstract is missing.