Automated derivation of parametric data movement lower bounds for affine programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Automated derivation of parametric data movement lower bounds for affine programs

Abstract

Researchers and practitioners have for long worked on improving the computational complexity of algorithms, focus-ing on reducing the number of operations needed to perform a computation. However the hardware trend nowadays clearly shows a higher performance and energy cost for data movements than computations: quality algorithms have to minimize data movements as much as possible. The theoretical operational complexity of an algorithm is a function of the total number of operations that must be executed
Fichier principal
Vignette du fichier
main.pdf (755.3 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02910961 , version 1 (03-08-2020)

Identifiers

Cite

Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello. Automated derivation of parametric data movement lower bounds for affine programs. PLDI 2020 - 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2020, London, United Kingdom. pp.808-822, ⟨10.1145/3385412.3385989⟩. ⟨hal-02910961⟩
151 View
190 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More