Andrés Goens

1. Verifying Peephole Rewriting In SSA Compiler IRs
   2024/07/04 by Siddharth Bhat, S. Bhat, Alex Keizer +10 · 1 voice · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.LO #cs.PL
2. A Reinforcement Learning Environment for Polyhedral Optimizations
   2021/04/28 by Alexander Brauckmann, Brauckmann, Alexander, Andrés Goens +3 · 2 citations
   Computer Science · Engineering · #Discrete Mathematics (cs.DM) #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #Performance (cs.PF) #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Scheduling and Optimization Algorithms #and Cluster Computing (cs.DC)