Caviar: an e-graph based TRS for automatic code optimization
Published in Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction • Mar 18, 2022
NobleIDNI2P63W59R93S20
Authors:,,
Smail Kourta
Adel Namani
Fatima Benbouzid-Si Tayeb
Abstract
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 rules in a predefined order (where some of the rules are not axiomatic). This leads to a loss of the ability to simplify ce...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!