and M. Steuwer

Latest

• 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.
• The paper 'Guided Equality Saturation' was accepted for ACM SIGPLAN POPL '24.