vix.ing · top · new · best · stats · spec

Alex C. Keizer

  1. Verifying Peephole Rewriting In SSA Compiler IRs
    2024/07/04 by Siddharth Bhat, S. Bhat, Alex C. 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