COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry. - Erdal Mutlu; Ruiqin Tian; Bin Ren; Sriram Krishnamoorthy; Roberto Gioiosa; Jacques Pienaar; Gokcen Kestor (LCPC, 2020)

Equality Saturation for Tensor Graph Superoptimization. - Yichen Yang 008; Phitchaya Mangpo Phothilimthana; Yisu Remy Wang; Max Willsey; Sudip Roy 002; Jacques Pienaar (MLSys, 2021)

Equality Saturation for Tensor Graph Superoptimization. - Yichen Yang 008; Mangpo Phitchaya Phothilimtha; Yisu Remy Wang; Max Willsey; Sudip Roy 002; Jacques Pienaar (CoRR, 2021)