Automated derivation of parametric data movement lower bounds for affine programs. - Auguste Olivry; Julien Langou; Louis-Noël Pouchet; P. Sadayappan; Fabrice Rastello (PLDI, 2020)

IOOpt: automatic derivation of I/O complexity bounds for affine programs. - Auguste Olivry; Guillaume Iooss; Nicolas Tollenaere; Atanas Rountev; P. Sadayappan; Fabrice Rastello (PLDI, 2021)

Automatic derivation of I/O complexity bounds for affine programs. (Calcul automatique de bornes sur la complexité I/O de programmes affines). - Auguste Olivry (2022)