Samuel Coward

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 28

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)
Michael Matthews, Michael Beukman, Benjamin Ellis, Mikayel Samvelyan, Matthew Thomas Jackson, Samuel Coward, Jakob N. Foerster
Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement Learning. CoRR (2024)
Michael Beukman, Samuel Coward, Michael Matthews, Mattie Fellows, Minqi Jiang, Michael Dennis, Jakob N. Foerster
Refining Minimax Regret for Unsupervised Environment Design. CoRR (2024)
Samuel Coward, Michael Beukman, Jakob N. Foerster
JaxUED: A simple and useable UED library in Jax. 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)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. CoRR (2022)
Samuel Coward, George A. Constantinides, Theo Drane
Abstract Interpretation on E-Graphs. CoRR (2022)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. FMCAD (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)
Samuel Coward, Erik Visse-Martindale, Chithrupa Ramesh
Attention-Based Clustering: Learning a Kernel from Context. CoRR (2020)