2 papers
cs.PL2026
Rewrite System Showdown: Stochastic Search vs. EqSat
Qiantan Hong, Rupanshu Soi, Yihong Zhang +1
Equality saturation has become a dominant paradigm for equational program optimization. However, it has never been rigorously compared to another approach to the same problem, even…
cs.PL2025
Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
Rupanshu Soi, Rohan Yadav, Fredrik Kjolstad +4
GPU architectures have continued to grow in complexity, with recent incarnations introducing increasingly powerful fixed-function units for matrix multiplication and data movement…