Samuel Coward

According to our database, Samuel Coward authored at least 17 papers between 2020 and 2024.

Collaborative distances:

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

2024

JaxUED: A simple and useable UED library in Jax.

Samuel Coward, Michael Beukman, Jakob N. Foerster

CoRR, 2024

Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement Learning.

Michael Matthews, Michael Beukman, Benjamin Ellis, Mikayel Samvelyan, Matthew T. Jackson, Samuel Coward, Jakob N. Foerster

CoRR, 2024

Refining Minimax Regret for Unsupervised Environment Design.

Michael Beukman, Samuel Coward, Michael Matthews, Mattie Fellows, Minqi Jiang, Michael Dennis, Jakob N. Foerster

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

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

Small Proofs from Congruence Closure.

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 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

Attention-Based Clustering: Learning a Kernel from Context.

Samuel Coward, Erik Visse-Martindale, Chithrupa Ramesh

CoRR, 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