Chris Hughes

Latest

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