24 citations · 59 across the 20 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…
Learning Space Partitions for Path Planning
Kevin Yang, Tianjun Zhang, Chris Cummins +6
Path planning, the problem of efficiently discovering high-reward trajectories, often requires optimizing a high-dimensional and multimodal reward function. Popular approaches like…