Theo Drane

According to our database, Theo Drane authored at least 18 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

ROVER: RTL Optimization via Verified E-Graph Rewriting.

Samuel Coward, Theo Drane, George A. Constantinides

CoRR, 2024

SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting.

Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.

Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd

Proceedings of the 31st IEEE Symposium on Computer Arithmetic, 2024

Combining Power and Arithmetic Optimization via Datapath Rewriting.

Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides

Proceedings of the 31st IEEE Symposium on Computer Arithmetic, 2024

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 E-Graphs with Abstract Interpretation.

Samuel Coward, George A. Constantinides, Theo Drane

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

Datapath Verification via Word-Level E-Graph Rewriting.

Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Automating Constraint-Aware Datapath Optimization using E-Graphs.

Samuel Coward, George A. Constantinides, Theo Drane

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures.

Bryce Orloski, Samuel Coward, Theo Drane

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

Multiplier Optimization via E-Graph Rewriting.

Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides, Milos D. Ercegovac

Proceedings of the 57th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2023, Pacific Grove, CA, USA, October 29, 2023

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

Automatic Generation of Complete Polynomial Interpolation Hardware Design Space.

Bryce Orloski, Samuel Coward, Theo Drane

CoRR, 2022

Abstract Interpretation on E-Graphs.

Samuel Coward, George A. Constantinides, Theo Drane

CoRR, 2022

Automatic Datapath Optimization using E-Graphs.

Samuel Coward, George A. Constantinides, Theo Drane

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022

2020

Automatic Design Space Exploration for an Error Tolerant Application.

Samuel Coward, Theo Drane, Yoav Harel

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

2014

On the Systematic Creation of Faithfully Rounded Truncated Multipliers and Arrays.

Theo A. Drane, Thomas M. Rose, George A. Constantinides

IEEE Trans. Computers, 2014

2012

Correctly rounded constant integer division via multiply-add.

Theo Drane, Wai-chuen Cheung, George A. Constantinides

Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

2011

Optimisation of mutually exclusive arithmetic sum-of-products.

Theo Drane, George A. Constantinides

Proceedings of the Design, Automation and Test in Europe, 2011