Home
News
Vacancies
People
Projects
Publications
PCS Software
Contact
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!
Determining the Minimum Number of Virtual Networks for Different Coherence Protocols
Guided Equality Saturation
PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model
Transforming Optimization Problems into Disciplined Convex Programming Form
Verifying Peephole Rewriting in SSA Compiler IRs
The paper 'Guided Equality Saturation' was accepted for ACM SIGPLAN POPL '24.
Cite
×