6 citations · 6 across the 2 of their papers we have counts for
3 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…
cs.DC2020
GraFS: Graph Analytics Fusion and Synthesis
Farzin Houshmand, Mohsen Lesani, Keval Vora
Graph analytics elicits insights from large graphs to inform critical decisions for business, safety and security. Several large-scale graph processing frameworks feature efficient…