Kyle Storey, Sheridan Jacob Powell, Benjamin Ogles, Joshua Hooker, Peter Aldous, Eric Mercer. Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. In Mary W. Hall, Hari Sundar, editors, Languages and Compilers for Parallel Computing - 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers. Volume 11882 of Lecture Notes in Computer Science, pages 94-111, Springer, 2018. [doi]
Abstract is missing.