System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries [chapter]

Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay, Markus Püschel
2008 Lecture Notes in Computer Science  
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and many others) directly from a problem specification. The key idea underlying Spiral is to perform automatic reasoning and optimizations at a high abstraction level using the mathematical, declarative domainspecific languages SPL and P -SPL and a rigorous rewriting framework. Optimization includes various forms of
more » ... elization. Even though Spiral provides complete automation, its generated libraries run often faster than any existing hand-written code.
doi:10.1007/978-3-540-79980-1_30 fatcat:mnhwp3iw45c4ncdkt7qz5onr2y