Andrés Goens

Latest

• The paper 'PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model' was accepted at PACT '24.
• The paper 'Transforming Optimization Problems into Disciplined Convex Programming Form' was accepted at CICM '24.
• 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.