2 papers
cs.PL2025
A Deep Learning Model for Predicting Transformation Legality
Avani Tiwari, Yacine Hakimi, Riyadh Baghdadi
Compilers must check the legality of code transformations to guarantee the correctness of applying a sequence of code transformations to a given code. While such a legality check n…
cs.PL2025
A Data-driven Analysis of Code Optimizations
Yacine Hakimi, Riyadh Baghdadi
As the demand for computational power grows, optimizing code through compilers becomes increasingly crucial. In this context, we focus on fully automatic code optimization techniqu…