Multi-dimensional Array Memory Accesses for FFTs on Parallel Architectures.


Generation of dense linear algebra software for shared memory and multicore architectures.


Scientific Computing: Applications, Algorithms, Architecture.


Multi-dimensional FFTs on Multicore Architectures.


Streaming 2D FFTs on the Cell Broadband Engine.


Sparse Direct Factorizations Based on Unassembled Hyper-Matrices.


Dense Linear Algebra on Multicore Architectures: What Kind of Parallelism?


Can Computers Develop Libraries? A Different Perspective on Scientific Computing.


Mechanical Generation of Correct Linear Algebra Algorithms.


Mechanical Derivation and Systematic Analysis of Correct Linear Algebra Algorithms.


Mechanical Generation of Linear Algebra Libraries with Multiple Variants.


A Parallel Eigensolver for Dense Symmetric Matrices Based on Multiple Relatively Robust Representations.


Formal Correctness and Stability of Dense Linear Algebra Algorithms.


Automatic Derivation and Implementation of Parallel Libraries.


The Science of Deriving Dense Linear Algebra Algorithms.