Piyush Sao

1. Interface for Sparse Linear Algebra Operations
   2024/11/20 by Ahmad Abdelfattah, Abdelfattah, Ahmad, Willow Ahrens +67 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Mathematical Software (cs.MS) #Scheduling and Optimization Algorithms
2. Contraction-Gauge Preconditioning for Quantized Matrix Multiplication
   2026/07/21 by Piyush Sao, Narasinga Miniskar, Pedro Valero-Lara +2
   #cs.LG #cs.IT #cs.NA #math.IT #math.NA
3. A Second-Moment Theory for Floating-Point Reduction Trees
   2026/07/21 by Piyush Sao, Narasinga Miniskar, Pedro Valero-Lara +2
   #math.NA #cs.DC #cs.IT #cs.MS #cs.NA #math.IT