Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
[connexion sécurisée]
Software CLooG


CLooG - Chunky Loop Generator
Date of the last release: 11 October 2013

Person in charge : BASTOUL Cédric


CLooG is a free software and library to generate code for scanning Z-polyhedra. That is, it finds a code (e.g. in C, FORTRAN...) that reaches each integral point of one or more parameterized polyhedra. CLooG has been originally written to solve the code generation problem for optimizing compilers based on the polytope model. Nevertheless it is used now in various area e.g. to build control automata for high-level synthesis or to find the best polynomial approximation of a function. CLooG may help in any situation where scanning polyhedra matters. While the user has full control on generated code quality, CLooG is designed to avoid control overhead and to produce a very effective code.

More information: http://www.cloog.org

Software - Licence : LGPL



Research activities
  Compilation

Members
  BASTOUL Cédric

Group
  Parallel Systems

Software & patents
DATACERT
DataCert: A coq library for Data Intensive Languages and Systems Certification

PINT
Formal analysis of dynamics for large-scale biological networks

SUNFLUIDH (COLLABORATION LIMSI)
CPU/GPU solver for Navier-Stokes equations