Automated derivation of parametric data movement lower bounds for affine programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Automated derivation of parametric data movement lower bounds for affine programs

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
189 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More