Modern research in code generators for dense linear algebra computations...
Achieving high-performance GPU kernels requires optimizing algorithm
imp...
The translation of linear algebra computations into efficient sequences ...
We observe a disconnect between the developers and the end users of line...
The level of abstraction at which application experts reason about linea...
In this paper, we present a generalized version of the matrix chain algo...
Pattern matching is a powerful tool for symbolic computations, based on ...
Pattern matching is a powerful tool for symbolic computations. Applicati...
The FLAME methodology makes it possible to derive provably correct algor...