ompVerify: Polyhedral Analysis for the OpenMP Programmer
OpenMP in the Petascale Era: 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings
This chapter is the paper we presented at the 2011 international workshop on OpenMP. Many computational scientists choose to use their own programming skills to manage the distribution of work among computer processors, rather than trust this task to an automated system that is the typical and product of the mathematics and software (known as the polyhedral framework") that has been produced by my research community. In this work, my co-authors and I show that this same mathematics and software can be used to help programmers catch mistakes in their hand-written software for work distribution. The article is available online at http://www.irisa.fr/prive/Antoine.Morvan/publis/iwomp.pdf." --author-supplied description
Wonnacott, David. "OmpVerify: Polyhedral Analysis for the OpenMP Programmer." OpenMP in the Petascale Era 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings. By Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, and Matthias S. Müller. Berlin: Springer Berlin, 2011. 37-53. Print.