Verifying Peephole Rewriting in SSA Compiler IRs

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
January 2024
PDF DOI
Type
Conference paper
Publication
15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia