Theo Drane

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 22

Top Topics

Rewriting Systems

Optimization Problems

Hardware Architectures

Top Venues

Formal Aspects Comput.

Publications

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