2013
DOI: 10.1007/s00165-011-0221-4
|View full text |Cite
|
Sign up to set email alerts
|

Deriving dense linear algebra libraries

Abstract: Abstract. Starting in the late 1960s computer scientists including Dijkstra and Hoare advocated goaloriented programming and the formal derivation of algorithms. The chief impediment to realizing this for loop-based programs was that a priori determination of loop-invariants, a prerequisite for developing loops, was a task too complex for any but the simplest of operations. Around 2000, these techniques were for the first time successfully applied to the domain of high-performance dense linear algebra librarie… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
6
0

Year Published

2014
2014
2022
2022

Publication Types

Select...
4
2
2

Relationship

2
6

Authors

Journals

citations
Cited by 8 publications
(6 citation statements)
references
References 21 publications
0
6
0
Order By: Relevance
“…where A, B and C are matrices and α and β are scalars. This kernel is considered the main building block in dense linear algebra because many other operations can be expressed in terms of several GEMM invocations [7]. GEMM belongs to Level 3 of the BLAS specification [8].…”
Section: General Matrix-matrix Multiplicationmentioning
confidence: 99%
“…where A, B and C are matrices and α and β are scalars. This kernel is considered the main building block in dense linear algebra because many other operations can be expressed in terms of several GEMM invocations [7]. GEMM belongs to Level 3 of the BLAS specification [8].…”
Section: General Matrix-matrix Multiplicationmentioning
confidence: 99%
“…Since this early work, we have derived hundreds of algorithms which are incorporated in a high-performance linear algebra software library, libflame [38,39]. A discussion of this work targeting the Formal Methods community can be found in a Formal Aspects of Computing paper [2], which uses the solution of a triangular Sylvester equation as an example.…”
Section: Impact On Algorithms For Matrix Operationsmentioning
confidence: 99%
“…A Formal Linear Algebra Method Environment (FLAME) focuses on issues related to programming of linear algebra programs. The focus of the FLAME project is to automatically generate efficient linear algebra codes for the underlying platform [17] [18]. Under the umbrella of FLAME project, BLAS-like Library Instantiation Software (BLIS) focuses on rapid scheduling of BLAS-like kernels on multicore architectures.…”
Section: Software Packages For Multicore Platformsmentioning
confidence: 99%