1 citations · 1 across the 2 of their papers we have counts for
Showing cs.MSShow all
2 papers · 1 filter
cs.MS2019
Supporting mixed-datatype matrix multiplication within the BLIS framework
Field G. Van Zee, Devangi N. Parikh, Robert A. van de Geijn
We approach the problem of implementing mixed-datatype support within the general matrix multiplication (GEMM) operation of the BLIS framework, whereby each matrix operand A, B, an…
cs.MS2017★ 1 cited
Deriving Correct High-Performance Algorithms
Devangi N. Parikh, Maggie E. Myers, Robert A. van de Geijn
Dijkstra observed that verifying correctness of a program is difficult and conjectured that derivation of a program hand-in-hand with its proof of correctness was the answer. We il…