Section: New Software and Platforms

Lattifold

Lattice-based Memory Folding

Keywords: Polyhedral compilation - Euclidean Lattices

Functional Description

Implements advanced lattice-based memory folding techniques. The idea is to reduce memory footprint of multidimensional arrays by reducing the size of each dimension. Given a relation denoting conflicting array cells, it produces a new mapping based on affine functions bounded by moduli. The moduli induces memory reuse and bound memory accesses to a tighter area, allowing to reduce the array size without loss of correctness. Status: proof of concept, see related paper [2].

• Partner: ENS Lyon

• Contact: Alexandre Isoard