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…