Andres Goens¶ Postdoctoral Researcherhttps://goens.org/about/ Publications 2024 ITPVerifying Peephole Rewriting in SSA Compiler IRsSiddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser POPLGuided Equality SaturationThomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
