Tsinghua U.

High-level semantic optimization of numerical codes

9 years 8 months ago
High-level semantic optimization of numerical codes
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic language called the Abstract Matrix Form which a compiler can use to reason about matrix computations in terms of loop nests, high-level matrix operations, and intermediate forms. We demonstrate how this framework may be used to detect and exploit matrix products in loop-based languages such as FORTRAN and MATLAB, and discuss the resulting performance bene ts.
Vijay Menon, Keshav Pingali
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where ICS
Authors Vijay Menon, Keshav Pingali
Comments (0)