Andrés Goens and Tobias Grosser

Latest

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