Andres Goens

Latest

• The paper 'Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology' was published in IEEE Computer Architecture Letters.
• Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
• The paper 'Slotted E-Graphs - First-Class Support for (Bound) Variables in E-Graphs' was accepted at ACM SIGPLAN PLDI 2025.
• Dataflow Models of Computation for Programming Heterogeneous Multicores
• 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.