Linear analysis and optimization of stream programs

ACM SIGPLAN Notices

Volumn 38, Issue 5, 2003, Pages 12-25

  Lamb, Andrew A ^a   Thies, William ^a   Amarasinghe, Saman ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Algebraic simplification; DSP; Embedded; FFT; Linear systems; Optimization; Stream programming; StreamIt

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; DIGITAL FILTERS; HIGH LEVEL LANGUAGES; NUMERICAL ANALYSIS; OPTIMIZATION; PROGRAM COMPILERS; SIGNAL PROCESSING;

LINEAR ANALYSIS; LINEAR FILTERS; STREAM PROGRAMMING; STREAM PROGRAMS;

SOFTWARE ENGINEERING;

EID: 1442313464     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780822.781134     Document Type: Conference Paper

References (22)

1. V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A transparent dynamic optimization system. In PLDI, 1999.
2. P Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In POPL, 1978.
3. M. M. Covell. An Algorithm Design Environment for Signal Processing. PhD thesis, MIT, 1989.
4. S. Egner, J. Johnson, D. Padua, M. Püschel, and J. Xiong. Automatic derivation and implementation of signal processing algorithms. SIGSAM Bulletin, 35(2):1-19, 2001.
5. M. Frigo. A Fast Fourier Transform Compiler. In PLDI, 1999.
6. M. Gordon. A stream-aware compiler for communication-exposed architectures. Master's thesis, MIT Laboratory for Computer Science, August 2002.
7. M. Gordon, W. Thies, M. Karczmarek, J. Lin, A. S. Meli, A. A. Lamb, C. Leger, J. Wong, H. Hoffmann, D. Maze, and S. Amarasinghe. A Stream Compiler for Communication-Exposed Architectures. ASPLOS, 2002.
8. J. Johnson, R. W. Johnson, D. A. Padua, and J. Xiong. SPIRAL Home Page. http://www.ece.cmu.edu/~spiral/.
9. J. Johnson, R. W. Johnson, D. A. Padua, and J. Xiong. Searching for the best FFT formulas with the SPL compiler. LNCS, 2017, 2001.
10. M. A. Karczmarek. Constrained and phased scheduling of synchronous data flow graphs for the streamit language. Master's thesis, MIT LCS, October 2002.
11. M. Karr. Affine relationships among variables of a program. Acta Informatica, pages 133-155, 1976.
12. J. Lebak. Polymorphous Computing Architecture (PCA) Example Applications and Description. External Report, Lincoln Laboratory, Mass. Inst. of Technology, 2001.
13. M.B. Taylor et al. The raw microprocessor: a computational fabric for software circuits and general-purpose programs. IEEE Micro, 22(2):25-35, March/April 2002.
14. A. V. Oppenheim and S. H. Nawab, editors. Symbolic and Knowledge-Based Signal Processing. Prentice Hall, 1992.
15. A. V. Oppenheim, R. W. Shafer, and J. R. Buck. Discrete-Time Signal Processing. 1999.
16. S. Ryan. Linear data flow analysis. ACM SIGPLAN Notices, 27(4):59-67, 1992.
17. R. Stephens. A Survey of Stream Processing. Acta Informatica, 34(7), 1997.
18. Texas Instruments. TMS320C54x DSP Reference Set, volume 2: Mnemonic Instruction Set. 2001.
19. W. Thies, M. Karczmarek, and S. Amarasinghe. StreamIt: A Language for Streaming Applications. In Proc. of the Int. Conf. on Compiler Construction (CC), 2002.
20. R. C. Whaley, A. Petitet, and J. J. Dongarra. Automated empirical optimizations of software and the ATLAS project. Parallel Computing, 27(1-2):3-35, 2001.
21. J. Xiong. Automatic Optimization of DSP Algorithms. PhD thesis, Univ. of Illinois at Urbana-Champaign, 2001.
22. J. Xiong, J. Johnson, R. W. Johnson, and D. A. Padua. SPL: A language and compiler for DSP algorithms. In PLDI, 2001.