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.DC2015
Distributed Phasers
Sri Raj Paul, Karthik Murthy, Kuldeep S. Meel +1
A phaser is an expressive synchronization construct that unifies collective and point-to-point coordination with dynamic task parallelism. Each task can participate in a phaser as…