ompVerify: Polyhedral Analysis for the OpenMP Programmer
Document Type
Book
Role
Contributor
Publication
OpenMP in the Petascale Era: 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings
Publisher
Springer
Standard Number
9783642214868
First Page
37
Last Page
53
Publication Date
2011
Abstract
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
Repository Citation
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.
