The paper 'Verifying Peephole Rewriting In SSA Compiler IRs' was accepted at ITP '24.

Siddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens and Tobias Grosser
May 21, 2024