Formal loop merging for signal transforms

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2005, Pages 315-326

  Franchetti, Franz ^a   Voronenko, Yevgen ^a   Püschel, Markus ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Automatic performance tuning; DFT; Discrete Fourier transform; Domain specific language; Linear signal transform; Loop optimization

Indexed keywords

DFT; DISCRETE FOURIER TRANSFORM; LINEAR SIGNAL TRANSFORM;

ALGORITHMS; CODES (STANDARDS); DATA ACQUISITION; FOURIER TRANSFORMS; PROGRAM COMPILERS; REUSABILITY;

SIGNAL PROCESSING;

EID: 31844432305     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. A. Darte. On the complexity of loop fusion. Parallel Computing, 26(9):1175-1193, 2000.
2. FFTW web site, www.fftw.org.
3. M. Frigo. A fast Fourier transform compiler. In Proc. PLDI, pages 169-180, 1999.
4. M. Frigo and S. G. Johnson. The design and implementation of FFTW3. Proc. of the IEEE, 93(2):216-231, 2005. Special issue on Program Generation, Optimization, and Adaptation.
5. J. Johnson, R. W. Johnson, D. Rodriguez, and R. Tolimieri. A methodology for designing, modifying, and implementing Fourier transform algorithms on various architectures. IEEE Trans. Circuits and Systems, 9, 1990.
6. K. Kennedy and K. S. McKinley. Maximizing loop parallelism and improving data locality via loop fusion and distribution. In 1993 Workshop on Languages and Compilers for Parallel Computing, number 768, pages 301-320, Portland, Ore., 1993. Berlin: Springer Verlag.
7. W. Pugh and D. Wonnacott. Constraint-based array dependence analysis. ACM Trans. Progr. Lang. Syst., 20(3):635-678, 1998.
8. M. Püschel, J. M. F. Moura, J. Johnson, D. Padua, M. Veloso, B. W. Singer, J. Xiong, F. Franchetti, A. Gačić, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo. SPIRAL: Code generation for DSP transforms. Proc. of the IEEE, 93(2):232-275, 2005. Special issue on Program Generation, Optimization, and Adaptation.
9. SPIRAL web site. www.spiral.net.
10. C. Van Loan. Computational Framework of the Fast Fourier Transform. SIAM, 1992.
11. J. Xiong, J. Johnson, R. Johnson, and D. Padua. SPL: A language and compiler for DSP algorithms. In Proc. PLDI, pages 298-308, 2001.