Publications

Kourta, Smail, Adel Abderahmane Namani, Fatima Benbouzid-Si Tayeb, Kim Hazelwood, Chris Cummins, Hugh Leather, and Riyadh Baghdadi. "Caviar: an e-graph based TRS for automatic code optimization." In Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction, pp. 54-64. 2022.