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⟩
138 Consultations
182 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More