| 2024 | ARITH | Combining Power and Arithmetic Optimization via Datapath Rewriting. | Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides |
| 2024 | ARITH | On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. | Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd |
| 2024 | ASPLOS | SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting. | Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane |
| 2023 | ACSSC | Multiplier Optimization via E-Graph Rewriting. | Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides, Milos D. Ercegovac |
| 2023 | ASPDAC | Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures. | Bryce Orloski, Samuel Coward, Theo Drane |
| 2023 | DAC | Automating Constraint-Aware Datapath Optimization using E-Graphs. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2023 | FMCAD | Datapath Verification via Word-Level E-Graph Rewriting. | Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides |
| 2023 | PLDI | Combining E-Graphs with Abstract Interpretation. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2022 | ARITH | Automatic Datapath Optimization using E-Graphs. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2020 | ARITH | Automatic Design Space Exploration for an Error Tolerant Application. | Samuel Coward, Theo Drane, Yoav Harel |
| 2012 | ISCAS | Correctly rounded constant integer division via multiply-add. | Theo Drane, Wai-chuen Cheung, George A. Constantinides |
| 2011 | DATE | Optimisation of mutually exclusive arithmetic sum-of-products. | Theo Drane, George A. Constantinides |