2 citations · 3 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.MS2023
Enabling Pivoting in the Formal Derivation of LU factorization
Robert van de Geijn, Margaret E. Myers, Devangi N. Parikh +2
The FLAME methodology for deriving linear algebra algorithms from specification, first introduced around 2000, has been successfully applied to a broad cross section of operations.…
cs.MS2023★ 2 cited
Cascading GEMM: High Precision from Low Precision
Devangi N. Parikh, Robert A. van de Geijn, Greg M. Henry
This paper lays out insights and opportunities for implementing higher-precision matrix-matrix multiplication (GEMM) from (in terms of) lower-precision high-performance GEMM. The d…