SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR. - Jianyi Cheng; Samuel Coward; Lorenzo Chelini; Rafael Barbalho; Theo Drane (CoRR, 2023)

SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting. - Jianyi Cheng; Samuel Coward; Lorenzo Chelini; Rafael Barbalho; Theo Drane (ASPLOS (2), 2024)