PLDI 2023 (series) / ARRAY 2023 (series) / Libraries, Languages and Compilers for Array Programming /
OptiTrust: an Interactive Optimization Framework
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.
slides (slides.pdf) | 1.30MiB |
Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change
Sun 18 Jun
Displayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mTalk | HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms ARRAY DOI | ||
14:30 30mTalk | OptiTrust: an Interactive Optimization Framework ARRAY Thomas Koehler INRIA, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Begatim Bytyqi Inria, Damien Rouhling Inria, Yann Barsamian Ecole Européenne de Bruxelles Pre-print File Attached | ||
15:00 30mTalk | Polymorphic Types with Polynomial Sizes ARRAY DOI |