publications

2023

  1. Automating Constraint-Aware Datapath Optimization using E-Graphs
    S. Coward, G.A. Constantinides, and T. Drane
    arXiv, 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. Datapath Verification via Word-Level E-Graph Rewriting
    Samuel Coward, Emiliano Morini, Bryan Tan, and 2 more authors
    Aug 2023
  4. 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, Aug 2023

2022

  1. Automatic Datapath Optimization using E-Graphs
    S. Coward, G.A. Constantinides, and T. Drane
    Proceedings - Symposium on Computer Arithmetic, Aug 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, Aug 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, Aug 2022

2021

    2020

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

    2019