Optimisation of mutually exclusive arithmetic sum-of-products. - Theo Drane; George A. Constantinides (DATE, 2011)

Correctly rounded constant integer division via multiply-add. - Theo Drane; Wai-chuen Cheung; George A. Constantinides (ISCAS, 2012)

On the Systematic Creation of Faithfully Rounded Truncated Multipliers and Arrays. - Theo A. Drane; Thomas M. Rose; George A. Constantinides (IEEE Trans. Computers, 2014)

Automatic Design Space Exploration for an Error Tolerant Application. - Samuel Coward; Theo Drane; Yoav Harel (ARITH, 2020)

Automatic Datapath Optimization using E-Graphs. - Samuel Coward; George A. Constantinides; Theo Drane (ARITH, 2022)

Abstract Interpretation on E-Graphs. - Samuel Coward; George A. Constantinides; Theo Drane (CoRR, 2022)

Automatic Generation of Complete Polynomial Interpolation Hardware Design Space. - Bryce Orloski; Samuel Coward; Theo Drane (CoRR, 2022)

Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover. - Samuel Coward; Lawrence C. Paulson; Theo Drane; Emiliano Morini (Formal Aspects Comput., 2022)

Multiplier Optimization via E-Graph Rewriting. - Andy Wanna; Samuel Coward; Theo Drane; George A. Constantinides; Milos D. Ercegovac (ACSSC, 2023)

Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures. - Bryce Orloski; Samuel Coward; Theo Drane (ASP-DAC, 2023)

Automating Constraint-Aware Datapath Optimization using E-Graphs. - Samuel Coward; George A. Constantinides; Theo Drane (DAC, 2023)

Datapath Verification via Word-Level E-Graph Rewriting. - Samuel Coward; Emiliano Morini; Bryan Tan; Theo Drane; George A. Constantinides (FMCAD, 2023)

Combining E-Graphs with Abstract Interpretation. - Samuel Coward; George A. Constantinides; Theo Drane (SOAP@PLDI, 2023)

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

Combining Power and Arithmetic Optimization via Datapath Rewriting. - Samuel Coward; Theo Drane; Emiliano Morini; George A. Constantinides (ARITH, 2024)

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. - Theo Drane; Samuel Coward; Mertcan Temel; Joe Leslie-Hurd (ARITH, 2024)

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)

ROVER: RTL Optimization via Verified E-Graph Rewriting. - Samuel Coward; Theo Drane; George A. Constantinides (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Constraint-Aware E-Graph Rewriting for Hardware Performance Optimization. - Samuel Coward; Theo Drane; George A. Constantinides (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)