OptiTrust: an Interactive Optimization Framework - Inria - Institut national de recherche en sciences et technologies du numérique
Document Associé À Des Manifestations Scientifiques Année : 2023

OptiTrust: an Interactive Optimization Framework

Résumé

We present OptiTrust, an interactive framework for optimizing general-purpose C code via series of programmer-guided, source-to-source transformations. Optimization steps are described in transformation scripts, expressed as OCaml programs. At every step, the programmer may interactively visualize the effect of the transformation as the difference between two pieces of human-readable C code. OptiTrust has been previously employed to optimize numerical simulation code. In this work, we showcase how to use OptiTrust to optimize matrix multiplication. We compare against TVM, which also relies on programmer guidance, but which restricts the input language and lacks easily readable feedback.
Fichier principal
Vignette du fichier
main.pdf (428.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04053772 , version 1 (31-03-2023)

Identifiants

  • HAL Id : hal-04053772 , version 1

Citer

Thomas Koehler, Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann A Barsamian. OptiTrust: an Interactive Optimization Framework. ARRAY 2023 - Workshop - PLDI 2023, Jun 2023, Orlando (Florida), United States. . ⟨hal-04053772⟩
307 Consultations
133 Téléchargements

Partager

More