Post from 2024-05-02 15:43:48

[RSS] Hydra: Generalizing Peephole Optimizations with Program Synthesis [PDF]

https://users.cs.utah.edu/~regehr/generalization-oopsla24.pdf