Automatic Design Space Exploration for an Error Tolerant Application. - Samuel Coward; Theo Drane; Yoav Harel (ARITH, 2020)

Attention-Based Clustering: Learning a Kernel from Context. - Samuel Coward; Erik Visse-Martindale; Chithrupa Ramesh (CoRR, 2020)

Automatic Datapath Optimization using E-Graphs. - Samuel Coward; George A. Constantinides; Theo Drane (ARITH, 2022)

Small Proofs from Congruence Closure. - Oliver Flatt; Samuel Coward; Max Willsey; Zachary Tatlock; Pavel Panchekha (FMCAD, 2022)

Abstract Interpretation on E-Graphs. - Samuel Coward; George A. Constantinides; Theo Drane (CoRR, 2022)

Automatic Generation of Complete Polynomial Interpolation Hardware Design Space. - Bryce Orloski; Samuel Coward; Theo Drane (CoRR, 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)

Multiplier Optimization via E-Graph Rewriting. - Andy Wanna; Samuel Coward; Theo Drane; George A. Constantinides; Milos D. Ercegovac (ACSSC, 2023)

Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures. - Bryce Orloski; Samuel Coward; Theo Drane (ASP-DAC, 2023)

Automating Constraint-Aware Datapath Optimization using E-Graphs. - Samuel Coward; George A. Constantinides; Theo Drane (DAC, 2023)

Datapath Verification via Word-Level E-Graph Rewriting. - Samuel Coward; Emiliano Morini; Bryan Tan; Theo Drane; George A. Constantinides (FMCAD, 2023)

Combining E-Graphs with Abstract Interpretation. - Samuel Coward; George A. Constantinides; Theo Drane (SOAP@PLDI, 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 Power and Arithmetic Optimization via Datapath Rewriting. - Samuel Coward; Theo Drane; Emiliano Morini; George A. Constantinides (ARITH, 2024)

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. - Theo Drane; Samuel Coward; Mertcan Temel; Joe Leslie-Hurd (ARITH, 2024)

SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting. - Jianyi Cheng; Samuel Coward; Lorenzo Chelini; Rafael Barbalho; Theo Drane (ASPLOS (2), 2024)

Refining Minimax Regret for Unsupervised Environment Design. - Michael Beukman; Samuel Coward; Michael T. Matthews; Mattie Fellows; Minqi Jiang; Michael D. Dennis; Jakob Nicolaus Foerster (ICML, 2024)

Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement Learning. - Michael T. Matthews; Michael Beukman; Benjamin Ellis; Mikayel Samvelyan; Matthew Thomas Jackson; Samuel Coward; Jakob Nicolaus Foerster (ICML, 2024)

JaxUED: A simple and useable UED library in Jax. - Samuel Coward; Michael Beukman; Jakob N. Foerster (CoRR, 2024)

Assessing the Zero-Shot Capabilities of LLMs for Action Evaluation in RL. - Eduardo Pignatelli; Johan Ferret; Tim Rocktäschel; Edward Grefenstette; Davide Paglieri; Samuel Coward; Laura Toni (CoRR, 2024)

ROVER: RTL Optimization via Verified E-Graph Rewriting. - Samuel Coward; Theo Drane; George A. Constantinides (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

ReducedLUT: Table Decomposition with "Don't Care" Conditions. - Oliver Cassidy; Marta Andronic; Samuel Coward; George A. Constantinides (FPGA, 2025)

BALROG: Benchmarking Agentic LLM and VLM Reasoning On Games. - Davide Paglieri; Bartlomiej Cupial; Samuel Coward; Ulyana Piterbarg; Maciej Wolczyk; Akbir Khan; Eduardo Pignatelli; Lukasz Kucinski; Lerrel Pinto; Rob Fergus; Jakob Nicolaus Foerster; Jack Parker-Holder; et al. (ICLR, 2025)

Constraint-Aware E-Graph Rewriting for Hardware Performance Optimization. - Samuel Coward; Theo Drane; George A. Constantinides (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting. - Jules Merckx; Alexandre Lopoukhine; Samuel Coward; Jianyi Cheng; Bjorn De Sutter; Tobias Grosser (CoRR, 2025)