EN FR
EN FR
CASH - 2018
New Software and Platforms
Bibliography
New Software and Platforms
Bibliography


Section: New Software and Platforms

PoCo

Polyhedral Compilation Library

Keywords: Polyhedral compilation - Automatic parallelization

Functional Description: PoCo (Polyhedral Compilation Library) is a compilation framework allowing to develop parallelizing compilers for regular programs. PoCo features many state-of-the-art polyhedral program analysis and a symbolic calculator on execution traces (represented as convex polyhedra). PoCo has been registered at the APP (“agence de protection des programmes”) and transferred to the XtremLogic start-up under an Inria licence.

  • Participant: Christophe Alias

  • Contact: Christophe Alias