Home
News
Vacancies
People
Projects
Publications
PCS Software
Contact
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.
Cite
×