1. Automating Constraint-Aware Datapath Optimization using E-Graphs
    Samuel Coward, George A. Constantinides, and Theo Drane
    2023 60th ACM/IEEE Design Automation Conference (DAC), 2023
  2. Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures
    B. Orloski, S. Coward, and T. Drane
    Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, 2023
  3. Combining E-Graphs with Abstract Interpretation
    Samuel Coward, George A Constantinides, and Theo Drane
    In Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023


  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. Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover
    S. Coward, L. Paulson, T. Drane, and 1 more author
    Formal Aspects of Computing, 2022



    1. Automatic Design Space Exploration for an Error Tolerant Application
      S. Coward, T. Drane, and Y. Harel
      Proceedings - Symposium on Computer Arithmetic, 2020