Verifying Peephole Rewriting in SSA Compiler IRs

@inproceedings{bhat_itp24,
  author       = {Siddharth Bhat and
                  Alex C. Keizer and
                  Chris Hughes and
                  Andr{\'{e}}s Goens and
                  Tobias Grosser},
  editor       = {Yves Bertot and
                  Temur Kutsia and
                  Michael Norrish},
  title        = {Verifying Peephole Rewriting in {SSA} Compiler IRs},
  booktitle    = {15th International Conference on Interactive Theorem Proving, {ITP}
                  2024, Tbilisi, Georgia, September 9-14, 2024},
  series       = {LIPIcs},
  volume       = {309},
  pages        = {9:1--9:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2024.9},
  doi          = {10.4230/LIPICS.ITP.2024.9},
  timestamp    = {Fri, 21 Nov 2025 23:44:11 +0100},
}