Andrés Goens

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 'Determining the Minimum Number of Virtual Networks for Different Coherence Protocols' was accepted for ACM/IEEE ISCA '24!
• The paper 'Guided Equality Saturation' was accepted for ACM SIGPLAN POPL '24.