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

Browse the full CC paper archive.