Theo Drane

According to our database, Theo Drane authored at least 14 papers between 2011 and 2023.

Collaborative distances:

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

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