Samuel Coward

prof_pic.jpg

906 Electronic and Electrical Engineering

Imperial College London

London, UK

Hi, I’m currently an Imperial College London PhD student in the Circuits and Systems Group, under the supervision of Professor George Constantinides. I am also a member of the Intel Graphics Numerical Hardware Group My research looks at all aspects of numerical hardware design and how we can create fast but verified hardware. My main project looks at novel techniques to optimise RTL level circuit designs, with side projects investigating bitvector transformation correctness and tight arithmetic expression bounds.

news

Oct 1, 2023 Our paper Multiplier Optimization via E-Graph Rewriting will be presented at ASILOMAR 2023! Looking forward to seeing everyone in a few weeks!
Oct 1, 2023 Our paper Datapath Verification via Word-Level E-Graph Rewriting will be presented at FMCAD 2023! Looking forward to seeing everyone in a few weeks!
Apr 25, 2023 Our paper Combining E-Graphs with Abstract Interpretation was accepted for publication at the SOAP Workshop co-located with PLDI 203!
Feb 20, 2023 Our paper Automating Constraint-Aware Datapath Optimization using E-Graphs was accepted for publication at DAC!

selected publications

  1. Automatic Datapath Optimization using E-Graphs
    S. Coward, G.A. Constantinides, and T. Drane
    Proceedings - Symposium on Computer Arithmetic, 2022
  2. Small Proofs from Congruence Closure
    O. Flatt, S. Coward, M. Willsey, and 2 more authors
    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, 2022
  3. Automating Constraint-Aware Datapath Optimization using E-Graphs
    S. Coward, G.A. Constantinides, and T. Drane
    arXiv, 2023