5 papers
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.…
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…
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…
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…