Title | ||
---|---|---|
Look left, look right, look left again: an application of fractal symbolic analysis to linear algebra code restructuring |
Abstract | ||
---|---|---|
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 of blocking LU factorization with pivoting, a task for which dependence analysis is inadequate. In this paper, we show how fractal symbolic analysis can be used to convert between left- and right-looking versions of three kernels of central importance in computational science: triangular solve, Cholesky factorization, and LU factorization with pivoting. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1023/B:IJPP.0000042084.99636.a0 | International Journal of Parallel Programming |
Keywords | Field | DocType |
cholesky factorization,numerical methods,symbolic analysis,linear algebra,numerical method,dependence analysis,lu factorization,high performance computing | Linear algebra,Supercomputer,Computer science,Parallel computing,Fractal,Dependence analysis,Theoretical computer science,Symbolic data analysis,Numerical analysis,LU decomposition,Cholesky decomposition | Journal |
Volume | Issue | ISSN |
32 | 6 | 1573-7640 |
Citations | PageRank | References |
4 | 1.02 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vijay Menon | 1 | 191 | 13.11 |
Keshav Pingali | 2 | 72 | 6.46 |