2 citations · 4 across the 8 of their papers we have counts for
10 papers
Product-Aware Deterministic Rounding for Quantized Matrix Multiplication
Piyush Sao, Narasinga Miniskar, Pedro Valero-Lara +2
Scalar rounding decisions interact through matrix multiplication. We study deterministic product-aware rounding after scales, clipping bounds, and grids are fixed, with each active…
A Nuclear-Norm Lower Bound for Dithered Scalar Quantization of Matrix Products
Piyush Sao, Narasinga Miniskar, Pedro Valero-Lara +2
We consider the problem of minimizing error in quantized matrix multiplication . Scalar quantization of the factors introduces rounding errors whose scale depends on the maxi…
JLIR: A Julia-Native MLIR-Inspired Intermediate Representation with Automatic JACC Kernel Extraction
Narasinga Rao Miniskar, Seyong Lee, Keita Teranishi +1
The Multi-Level Intermediate Representation (MLIR) has made reusable compiler infrastructure practical for domain-specific computation. However, MLIR's strong compile-time type req…
Report of the 2026 Workshop on Next-Generation Ecosystems for Scientific Computing: Harnessing Community, Software, and AI for Cross-Disciplinary Team Science
Lois Curfman McInnes, Dorian Arnold, Prasanna Balaprakash +45
Scientific computing is undergoing rapid transformation as advances in artificial intelligence, heterogeneous computing, automation, and data-intensive research reshape not only co…
A Second-Moment Theory for Floating-Point Reduction Trees
Piyush Sao, Narasinga Miniskar, Pedro Valero-Lara +2
Summation error depends on partial-sum order, which standard worst-case bounds omit. To capture this dependence, we derive an exact mean-square error (MSE) recurrence for a binary…
Contraction-Gauge Preconditioning for Quantized Matrix Multiplication
Piyush Sao, Narasinga Miniskar, Pedro Valero-Lara +2
We study low-precision computation of C=AB with both factors quantized. We derive an exact finite-dimensional identity for the expected squared product error under independent, zer…
Kaizen: Metamorphic Fuzzing and Differential Testing for LLM-Translated HPC Applications
Oscar Ludwig, Ninad Anklesaria, Zheming Jin +7
Large language models (LLMs) are increasingly used to port scientific codes across heterogeneous high-performance computing (HPC) programming models, such as translating CUDA to Op…
Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem
William F. Godoy, Tatiana Melnichenko, Pedro Valero-Lara +5
We explore the performance and portability of the novel Mojo language for scientific computing workloads on GPUs. As the first language based on the LLVM's Multi-Level Intermediate…
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions
Keita Teranishi, Harshitha Menon, William F. Godoy +25
We discuss the challenges and propose research directions for using AI to revolutionize the development of high-performance computing (HPC) software. AI technologies, in particular…
Interface for Sparse Linear Algebra Operations
Ahmad Abdelfattah, Willow Ahrens, Hartwig Anzt +32
The standardization of an interface for dense linear algebra operations in the BLAS standard has enabled interoperability between different linear algebra libraries, thereby boosti…