Samuel Coward
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Multi-width Parametric Bitvector Equivalence Solver. | Luigi Rinaldi, John Wickerson, Samuel Coward |
| 2025 | FPGA | ReducedLUT: Table Decomposition with "Don't Care" Conditions. | Oliver Cassidy, Marta Andronic, Samuel Coward, George A. Constantinides |
| 2025 | ICLR | 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, Tim Rocktschel |
| 2024 | ARITH | Combining Power and Arithmetic Optimization via Datapath Rewriting. | Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides |
| 2024 | ARITH | On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. | Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd |
| 2024 | ASPLOS | SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting. | Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane |
| 2024 | ICML | Refining Minimax Regret for Unsupervised Environment Design. | Michael Beukman, Samuel Coward, Michael T. Matthews, Mattie Fellows, Minqi Jiang, Michael D. Dennis, Jakob Nicolaus Foerster |
| 2024 | ICML | 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 |
| 2023 | ACSSC | Multiplier Optimization via E-Graph Rewriting. | Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides, Milos D. Ercegovac |
| 2023 | ASPDAC | Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures. | Bryce Orloski, Samuel Coward, Theo Drane |
| 2023 | DAC | Automating Constraint-Aware Datapath Optimization using E-Graphs. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2023 | FMCAD | Datapath Verification via Word-Level E-Graph Rewriting. | Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides |
| 2023 | PLDI | Combining E-Graphs with Abstract Interpretation. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2022 | ARITH | Automatic Datapath Optimization using E-Graphs. | Samuel Coward, George A. Constantinides, Theo Drane |
| 2022 | FMCAD | Small Proofs from Congruence Closure. | Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha |
| 2020 | ARITH | Automatic Design Space Exploration for an Error Tolerant Application. | Samuel Coward, Theo Drane, Yoav Harel |