Towards Mechanical Derivation of Krylov Solver Libraries.


An Example of Symmetry Exploitation for Energy-related Eigencomputations.


Parallelizing the MRRR Algorithm for Data-Parallel Coprocessors.


Reduction to Condensed Forms for Symmetric Eigenvalue Problems on Multi-core Architectures.


Numerical Methods for Large Linear Systems.


Unassembled Hyper Matrix Project: Status Report


Can Cloud Computing Reach the TOP500?


Linear Algebra on Multicore Architectures.


Computational Mathematics (in Italian, "Matematica Computazionale")


Algorithm & Code Generation for High-Performance Computing.


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


Multicore Processors: What Kind of Parallelism?


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.