Lunch Seminar location:Delft date:25 November 2009
The Polyhedral Model represents a nested loop program using
a collection of polyhedra and related objects. 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 polytope model that may also be useful in a more
general context. In this talk, we focus on three
of these tools: isl, CLooG and barvinok. Through examples from
the polytope model, we explain some operations performed
by these tools, such as parametric integer programming,
generating code from a polytope model, counting the (weighted)
number of solutions to ILP problems and computing bounds
on a polynomial defined over a parametric polytope.