Title: Tools from the polyhedral model
Authors: Verdoolaege, Sven #
Issue Date: 25-Nov-2009
Conference: Lunch Seminar location:Delft date:25 November 2009
Abstract: 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.
Publication status: published
KU Leuven publication type: AMa
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Description Status SizeFormat
slides.pdfPresentation Published 852KbAdobe PDFView/Open
handouts4.psHand-outs Published 498KbPostscriptView/Open


All items in Lirias are protected by copyright, with all rights reserved.