Skip to main content
Seminar | X-Ray Science Division

SPIRAL: AI for High Performance Code

APS Scientific Computation Seminar

Abstract: This talk provides a current and comprehensive overview of the SPIRAL system, that has been developed over 20 years at Carnegie Mellon University, and is now available as BSD Open-Source System. We show that SPIRAL is a rule-based AI system that captures the knowledge of how algorithms, computer architecture, and program transformations are defined and interact. We develop the underlying formal framework to capture computational algorithms, computing platforms, and program transformations of interest, using a unifying mathematical formalism we call operator language (OL). Then we cast the problem of synthesizing highly optimized computational kernels for a given machine as a strongly constrained optimization problem that is solved by a multi-stage rewriting system.

Since all rewrite steps are semantics preserving identity operations, our approach allows us to formally prove the equivalence between the kernel specification and the synthesized program. Finally, we present a first look at FFTX and SpectralPack. We aim at translating the LAPACK/BLAS approach from the numerical linear algebra world to the N log N/spectral algorithm domain.

Bio: Franz Franchetti is the Kavcic Moura Professor of Electrical and Computer Engineering and the Associate Dean for Research of the College of Engineering at Carnegie Mellon University. He received the Dipl.-Ing. (M.Sc.) degree in Technical Mathematics and the Dr. techn. (Ph.D.) degree in Computational Mathematics from the Vienna University of Technology in 2000 and 2003, respectively.