Theo Drane

26 papers A* 1A 1B 1C 5Misc 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Constraint-Aware E-Graph Rewriting for Hardware Performance Optimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Samuel Coward, Theo Drane, George A. Constantinides
2024 C conf
Combining Power and Arithmetic Optimization via Datapath Rewriting.
ARITH
Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides
2024 J jnl
Combining Power and Arithmetic Optimization via Datapath Rewriting.
CoRR
Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides
2024 C conf
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.
ARITH
Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
2024 J jnl
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.
CoRR
Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
2024 J jnl
ROVER: RTL Optimization via Verified E-Graph Rewriting.
CoRR
Samuel Coward, Theo Drane, George A. Constantinides
2024 J jnl
ROVER: RTL Optimization via Verified E-Graph Rewriting.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Samuel Coward, Theo Drane, George A. Constantinides
2024 — conf
SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting.
ASPLOS (2)
Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane
2023 — conf
Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures.
ASP-DAC
Bryce Orloski, Samuel Coward, Theo Drane
2023 A* conf
Automating Constraint-Aware Datapath Optimization using E-Graphs.
DAC
Samuel Coward, George A. Constantinides, Theo Drane
2023 J jnl
Automating Constraint-Aware Datapath Optimization using E-Graphs.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2023 — conf
Combining E-Graphs with Abstract Interpretation.
SOAP@PLDI
Samuel Coward, George A. Constantinides, Theo Drane
2023 B conf
Datapath Verification via Word-Level E-Graph Rewriting.
FMCAD
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
2023 J jnl
Datapath Verification via Word-Level E-Graph Rewriting.
CoRR
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
2023 Misc conf
Multiplier Optimization via E-Graph Rewriting.
ACSSC
Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides, Milos D. Ercegovac
2023 J jnl
Multiplier Optimization via E-Graph Rewriting.
CoRR
Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides, Milos D. Ercegovac
2023 J jnl
SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR.
CoRR
Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane
2022 J jnl
Abstract Interpretation on E-Graphs.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2022 C conf
Automatic Datapath Optimization using E-Graphs.
ARITH
Samuel Coward, George A. Constantinides, Theo Drane
2022 J jnl
Automatic Datapath Optimization using E-Graphs.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2022 J jnl
Automatic Generation of Complete Polynomial Interpolation Hardware Design Space.
CoRR
Bryce Orloski, Samuel Coward, Theo Drane
2022 J jnl
Combining E-Graphs with Abstract Interpretation.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2022 J jnl
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover.
Formal Aspects Comput.
Samuel Coward, Lawrence C. Paulson, Theo Drane, Emiliano Morini
2020 C conf
Automatic Design Space Exploration for an Error Tolerant Application.
ARITH
Samuel Coward, Theo Drane, Yoav Harel
2012 C conf
Correctly rounded constant integer division via multiply-add.
ISCAS
Theo Drane, Wai-chuen Cheung, George A. Constantinides
2011 A conf
Optimisation of mutually exclusive arithmetic sum-of-products.
DATE
Theo Drane, George A. Constantinides