Paper Info
Title
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
Abstract
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 domain-specific languages SPL and Σ-SPL and a rigorous rewriting framework. Optimization includes various forms of parallelization. Even though Spiral provides complete automation, its generated libraries often run faster than any existing hand-written code.
Year
DOI
Venue
2008
10.1007/978-3-540-79980-1_30
AMAST
Keywords
Field
DocType
system demonstration,domain-specific library generation system,discrete fourier,high-performance linear transform libraries,complete automation,existing hand-written code,problem specification,key idea,high performance source code,automatic reasoning,declarative domain-specific language,high abstraction level,multithreading,source code,rewriting,fft,discrete fourier transform,domain specific language,linear transformation
Domain-specific language,Spiral,Programming language,Source code,Computer science,Parallel computing,Automation,Theoretical computer science,Fast Fourier transform,Rewriting,Discrete Fourier transform,Abstraction layer
Conference
Volume
ISSN
Citations 
5140
0302-9743
0
PageRank 
References 
Authors
0.34
5
4
Name
Order
Citations
PageRank
Yevgen Voronenko123917.54
Franz Franchetti297488.39
Frédéric Mesmay3261.39
Markus Püschel400.34