6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.AI2026
XLA from the Trenches: Correctness on TPU Workloads at Scale
Ignacio Cano, Amir Saadat, Rishipal Singh Bhatia +19
Accelerating modern foundational models has pushed domain-specific compilers toward increasingly complex, multi-tiered optimization pipelines. However, this heavy optimization focu…
cs.PL2025★ 6 cited
TensorRight: Automated Verification of Tensor Graph Rewrites
Jai Arora, Sirui Lu, Devansh Jain +9
Tensor compilers, essential for generating efficient code for deep learning models across various applications, employ tensor graph rewrites as one of the key optimizations. These…