24 citations · 57 across the 15 of their papers we have counts for
3 papers · 1 filter
Caviar: An E-graph Based TRS for Automatic Code Optimization
Smail Kourta, Adel Namani, Fatima Benbouzid-Si Tayeb +4
Term Rewriting Systems (TRSs) are used in compilers to simplify and prove expressions. State-of-the-art TRSs in compilers use a greedy algorithm that applies a set of rewriting rul…
CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research
Chris Cummins, Bram Wasti, Jiadong Guo +9
Interest in applying Artificial Intelligence (AI) techniques to compiler optimizations is increasing rapidly, but compiler research has a high entry barrier. Unlike in other domain…
Using Graph Neural Networks to model the performance of Deep Neural Networks
Shikhar Singh, Benoit Steiner, James Hegarty +1
With the unprecedented proliferation of machine learning software, there is an ever-increasing need to generate efficient code for such applications. State-of-the-art deep-learning…