Tools for the polyhedral model

The Polyhedral Model represents a nested loop program using sets and relations of tuples of integers bounded by affine constraints. Although the application of this model imposes some restrictions on the input program, it has been used successfully in many program analysis and transformation techniques. Many tools have been developed within the context of the polyhedral model. In this talk, we focus on three of these tools: isl, CLooG and barvinok. Through examples we explain some operations performed by these tools, such as parametric integer programming, generating code from a polyhedral model, counting the (weighted) number of elements in a set bounded by affine constraints and computing bounds on a polynomial defined over such a set.status: publishe