Guyer, Samuel Z.; Lin, Calvin Optimizing the use of high performance software libraries. (English) Zbl 1014.68775 Midkiff, Samuel P. (ed.) et al., Languages and compilers for parallel computing. 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2017, 227-243 (2001). Summary: This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way that conventional programming languages do. We explain how the compilation of these informal languages differs from the compilation of more conventional languages. In particular, such compilation requires precise pointer analysis, domain-specific information about the library’s semantics, and a configurable compilation scheme. We describe a solution that combines dataflow analysis and pattern matching to perform configurable optimizations.For the entire collection see [Zbl 0977.68872]. Cited in 1 Document MSC: 68U99 Computing methodologies and applications 68N15 Theory of programming languages 68N20 Theory of compilers and interpreters Software:MPI/MPICH; FFTW; LAPACK; PLAPACK; PHiPAC; NINJA; PAG; BLAS; ATLAS PDFBibTeX XMLCite \textit{S. Z. Guyer} and \textit{C. Lin}, Lect. Notes Comput. Sci. 2017, 227--243 (2001; Zbl 1014.68775) Full Text: Link