Algebraic tiling

C Rossetti, P Clauss - IMPACT 2023, 13th International Workshop …, 2023 - inria.hal.science
In this paper, we present an ongoing work whose aim is to propose a new loop tiling
technique where tiles are characterized by their volumes-the number of embedded iterations …

Efficiency of Various Tiling Strategies for the Zuker Algorithm Optimization

P Blaszynski, M Palkowski, W Bielecki, M Poliwoda - Mathematics, 2024 - mdpi.com
This paper focuses on optimizing the Zuker RNA folding algorithm, a bioinformatics task with
non-serial polyadic dynamic programming and non-uniform loop dependencies. The …

[PDF][PDF] An Irredundant Decomposition of Data Flow with Affine Dependences

C Ferry, S Derrien… - arXiv preprint arXiv …, 2023 - impact-workshop.org
Optimization pipelines targeting polyhedral programs try to maximize the compute
throughput. Traditional approaches favor reuse and temporal locality; while the …

Translation Validation of Tensor Compilers

B Clément - 2022 - theses.hal.science
Tensor compilers are used in domains such as image processing and deep learning to
generate efficient low-level code from high-level specifications on multidimensional tensors …

[PDF][PDF] Automating the derivation of memory allocations for acceleration of polyhedral programs

C Ferry, S Rajopadhye, S Derrien, S Pasricha… - 2024 - api.mountainscholar.org
As processors compute power keeps increasing, so do their demands in memory accesses:
some computations will require a higher bandwidth and exhibit regular memory access …

Validation de traduction pour compilateurs de tenseurs

B Clément - 2022 - theses.fr
Les compilateurs de tenseurs sont utilisés dans des domaines comme le traitement d'image
et l'apprentissage profond pour générer du code bas niveau efficace à partir de spécification …

On the Verification of Polyhedral Program Transformations

C Alias, G Iooss, S Rajopadhye - … & Simulation, CADO 2020-3rd Special …, 2020 - hal.science
This paper presents a pragma language to specify a polyhedral program transformation
directly in the code and a verification algorithm able to check the correctness of the specified …