PoLA is a C++ tool that optimizes the memory footprint of C(++) programs of the polyhedral model by applying reduced mappings deduced from dynamic analysis of the program. More precisely, we apply a dataflow analysis on traces of a program, obtained either by execution or interpretation, and infer parametrized mappings for the arrays used for intermediate computations.
This tool is part of the Polytrace project.
Not yet available.
C3PO'22
|
Lightweight Array Contraction by Trace-Based Polyhedral Analysis
Hugo Thievenaz, Keiji Kimura and Christophe Alias |
---|---|
IMPACT'22 |
Towards a Trace-Based Polyhedral Model
Hugo Thievenaz, Keiji Kimura and Christophe Alias |
For any inquiry, please contact me at hugo [dot] thievenaz [at] ens [hyphen] lyon [dot] fr.