Title

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

Faculty Start Year

1995

Share

COinS