Samuel Coward
  • about
  • publications
  • projects
  • repositories
  • cv
  • teaching
  • submenus
    publications
    projects

Announcement_3

October 1, 2023

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!

© Copyright 2025 Samuel R. Coward. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Photos from Unsplash.