V. Basupalli, Tomofumi Yuki, Sanjay V. Rajopadhye, Antoine Morvan, Steven Derrien, Patrice Quinton, David Wonnacott. ompVerify: Polyhedral Analysis for the OpenMP Programmer. In Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, Matthias S. Müller, editors, OpenMP in the Petascale Era - 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings. Volume 6665 of Lecture Notes in Computer Science, pages 37-53, Springer, 2011. [doi]
Abstract is missing.