ompVerify: Polyhedral Analysis for the OpenMP Programmer. - V. Basupalli; Tomofumi Yuki; Sanjay V. Rajopadhye; Antoine Morvan; Steven Derrien; Patrice Quinton; David Wonnacott (IWOMP, 2011)