The POPL '24 paper 'Guided Equality Saturation' was selected for the MIT Programming Languages (PL) Review '24 for its expected potential to shape the future direction of PL research and/or industry practice. T. Kœhler, Andrés Goens, S. Bhat, T. Grosser, P. Trinder, and M. Steuwer Apr 24, 2024