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

Announcement_1

April 25, 2023

2023

Our paper Combining E-Graphs with Abstract Interpretation was accepted for publication at the SOAP Workshop co-located with PLDI 203!

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