Faster Fourier transforms via automatic program specialization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1706, Issue , 1999, Pages 338-355

  Lawall, Julia L ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EDUCATION; FAST FOURIER TRANSFORMS;

AUTOMATIC PROGRAM SPECIALIZATION; AUTOMATICALLY GENERATED; COMPILE TIME; EFFICIENT IMPLEMENTATION; PARTIAL EVALUATION; RUNTIMES;

PROGRAM COMPILERS;

EID: 84958671400     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47018-2_14     Document Type: Conference Paper

References (22)

1. L.O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, Computer Science Depsirtment, University of Copenhagen, May 1994. DIKU Technical Report 94/19.
2. J. Arndt. URL: http://www.jjj.de/fxt/fxt970929.tgz inthefilehfloat/src/fxt/simplfft/fft.c.
3. E. Bach and J. Shallit. Algorithmic Number Theory. The MIT Press, 1996.
4. G. J. Beirzdins and M. A. Bulyonkov. Mixed computation and translation: Linecirisation and decomposition of compilers. Preprint 791, Computing Centre of Siberian division of USSR Academy of Sciences, Novosibirsk, 1988.
5. C. Consel, L. Hornof, F. Noel, J. Noye, and E.N. Volanschi. A uniform approach for compile-time and run-time specialization. In O. Danvy, R. Gliick, £ind P. Thiemann, editors, Partial Evaluation, International Seminar, Dagatuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54-72, Februeiry 1996.
6. C. Consel and F. Noel. A general approach for run-time specialization and its application to C. In POPL 96 [20], pages 145-156.
7. J. W. Cooley and J. W. Tukey. An algorithm for the machine calculation of complex Fourier series. Mathematics of Computation, 19(90):297-301, April 1965.
8. Standeird Performance Evaluation Corporation. SPEC95. URL: http: //www.specbench.org.
9. D.R. Engler, W.C. Hsieh, and M.F. Kaashoek. 'C: A language for high-level, efficient, and machine-independent dynamic code generation. In POPL 96 [20], pages 131-144.
10. M. Prigo and S. Johnson. FFTW user's manual, 1997. URL: http://theory.Ics.mit.edu/"fftw/.
11. R. Gliick, R. Nakcishige, and R. Zochling. Binding-time analysis applied to mathematical algorithms. In J. Dolezal and J. Fidler, editors. System. Modelling and Optimization, pages 137-146. Chapman & Hall, 1995.
12. B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. Annotationdirected run-time specialization in C. In PEPM'97 [19], pages 163-178.
13. L. Hornof and J. Noy. Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity. In PEPM'97 [19], pages 63-73.
14. N.D. Jones, C. Gomcird, and P. Sestoft. Partial Evaluation and Automatic Program, Generation. International Series in Computer Science. Prentice-Hall, June 1993.
15. T.B. Knoblock and E. Ruf. Data specialization. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implem,entation, pages 215-225, Philadelphia, PA, May 1996. ACM SIGPLAN Notices, 31(5). Also TR MSR-TR-96-04, Microsoft Research, February 1996.
16. J.L. Lawall. Faster Fourier transforms via automatic program specialization. Publication interne 1192, IRISA, Rennes, Prance, May 1998.
17. K. Malmkjaer. Program and data specialization: Principles, applications, and selfapplication. Master's thesis, DIKU, University of Copenhagen, Denmeirk, August 1989.
18. F. Noel, L. Hornof, C. Consel, and J. Lawall. Automatic, template-based runtime specialization: Implementation and experimental study. In International Conference on Computer Languages, pages 132-142, Chicago, IL, May 1998. IEEE Computer Society Press. Also available as IRISA report PI-1065.
19. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997. ACM Press.
20. Conference Record of the 23'"'' Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, St. Petersburg Beach, FL, USA, January 1996. ACM Press.
21. W.H. Press, S.A. Teukolsky, W.T. Vetterling, and B.P. Flannery. Numerical Recipes in C The Art of Scientific Computing. Cambridge University Press, Czimbridge, 2nd edition, 1995.
22. A. Schonhage, A.F.W. Grotefeld, and E. Vetter. Fast Algorithms: A Multitape Turing Machine Implementation. Bl-Wissenschaftsverlag, 1994.