Automated derivation of parametric data movement lower bounds for affine programs.
Auguste Olivry, Julien Langou, Louis-Nol Pouchet, P. Sadayappan, Fabrice Rastello
Browse the full PLDI paper archive.
Auguste Olivry, Julien Langou, Louis-Nol Pouchet, P. Sadayappan, Fabrice Rastello
Browse the full PLDI paper archive.