Online demonstrators

Loop tiling

• mppcodegen - Monoparametric loop tiling based on the MPP library
• mppcheck - Verification of polyhedral program transformations (including loop tiling with hexagonal and diamond shape of parametric size)

Scheduling

• kut - a source-to-source compiler to guide runtime scheduling

Polyhedral tools

• Farkas calculator - a symbolic calculator to prototype tools using the affine forma of Farkas lemma.

Page maintained by Christophe Alias.