87 citations · 215 across the 14 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
SMaLL: A Software Framework for portable Machine Learning Libraries
Upasana Sridhar, Nicholai Tukanov, Elliott Binder +3
Interest in deploying Deep Neural Network (DNN) inference on edge devices has resulted in an explosion of the number and types of hardware platforms to use. While the high-level pr…