1 citations · 1 across the 5 of their papers we have counts for
5 papers
A Proposed Framework for Advanced (Multi)Linear Infrastructure in Engineering and Science (FAMLIES)
Devin A. Matthews, Tze Meng Low, Margaret E. Myers +2
We leverage highly successful prior projects sponsored by multiple NSF grants and gifts from industry: the BLAS-like Library Instantiation Software (BLIS) and the libflame efforts…
Tensor Algebra Processing Primitives (TAPP): Towards a Standard for Tensor Operations
Jan Brandejs, Niklas Hörnblad, Edward F. Valeev +4
To address the absence of a universal standard interface for tensor operations, we introduce the Tensor Algebra Processing Primitives (TAPP), a C-based interface designed to decoup…
Performant Tridiagonal Factorization of Skew-Symmetric Matrices
Ishna Satyarth, Chao Yin, Devin A. Matthews +3
The factorization of skew-symmetric matrices is a critically understudied area of dense linear algebra, particularly in comparison to that of general and symmetric matrices. While…
Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix
Robert van de Geijn, Maggie Myers, RuQing G. Xu +1
This paper provides technical details regarding the application of the FLAME methodology to derive algorithms hand in hand with their proofs of correctness for the computation of t…
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.…