Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring

Vijay Menon, Keshav Pingali
2004 International journal of parallel programming  
Fractal symbolic analysis is a symbolic analysis technique for verifying the legality of program transformations. It is strictly more powerful than dependence analysis for example, it can be used to verify the legality o f b l o c king LU factorization with pivoting, a task for which dependence analysis is inadequate. In this paper, we s h o w how fractal symbolic analysis can be used to convert between left-looking and rightlooking versions of three kernels of central importance in
more » ... l science: triangular solve, Cholesky factorization, and LU factorization with pivoting.
doi:10.1023/b:ijpp.0000042084.99636.a0 fatcat:nbegpx7plvbc7kqmbqhontlqlq