Caviar: an e-graph based TRS for automatic code optimization. - Smail Kourta; Adel Abderahmane Namani; Fatima Benbouzid-Si Tayeb; Kim M. Hazelwood; Chris Cummins; Hugh Leather; Riyadh Baghdadi (CC, 2022)