The paper 'Guided Equality Saturation' was accepted for ACM SIGPLAN POPL '24.

T. Kœhler, Andrés Goens, S. Bhat, T. Grosser, P. Trinder, and M. Steuwer
Nov 21, 2023