Finding effective compilation sequences

ACM SIGPLAN Notices

Volumn 39, Issue 7, 2004, Pages 231-239

  Almagor, L ^a   Cooper, Keith D ^a   Grosul, Alexander ^a   Harvey, Timothy J ^a   Reeves, Steven W ^a   Subramanian, Devika ^a   Torczon, Linda ^a   Waterman, Todd ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

Adaptive Compilers; Learning Models

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; CODES (SYMBOLS); EMBEDDED SYSTEMS; MATHEMATICAL MODELS; OPTIMIZATION; PROBLEM SOLVING; REGRESSION ANALYSIS;

ADAPTIVE COMPILERS; COMPILATION; LEARNING MODELS; SEARCH ALGORITHMS;

PROGRAM COMPILERS;

EID: 4544380943     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/998300.997196     Document Type: Conference Paper

References (33)

1. B. Alpern, M. N. Wegman, and F. K. Zadeck. Detecting equality of variables in programs. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 1-11, San Diego, CA, USA, Jan. 1988.
2. th Innovative Applications of Artificial Intelligence Conference, pages 469-476, Madison, WI, USA, July 1998. AAAI Press/MIT Press.
3. D. Bernstein, D. A. Goldin, M. G. Golumbic, H. Krawczyk, Y. Mansour, I. Nashon, and R. Y. Pinter. Spill code minimization techniques for optimizing compilers. SIGPLAN Notices, 24(7):258-263, July 1989. In Proceedings of the 1989 ACM SIGPLAN Conference, on Programming Language Design and Implementation (PLDI).
4. P. Briggs and K. D. Cooper. Effective partial redundancy elimination. SIGPLAN Notices, 29(6):159-170, June 1994. Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation.
5. P. Briggs, K. D. Cooper, and L. T. Simpson. Value numbering. Software-Practice and Experience, 27(6): 701-724, June 1997.
6. G. J. Chaitin, M. A. Auslander, A. K. Chandra, J. Cocke, M. E. Hopkins, and P. W. Markstein. Register allocation via graph coloring. Computer Languages, 6(1):47-57, Jan. 1981.
7. th Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4), Dec. 2001.
8. K. D. Cooper, P. J. Schielke, and D. Subramanian. Optimizing for reduced code space using genetic algorithms. In 1999 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 1-9, May 1999.
9. K. D. Cooper, L. T. Simpson, and C. A. Vick. Operator strength reduction. ACM Transactions on Programming Languages and Systems. 2001. to appear.
10. st century. Journal of Supercomputing, 21(1):7-22, Aug. 2002.
11. K. D. Cooper and L. Torczon. Engineering a Compiler. Morgan-Kaufmann Publishers, 2003.
12. K. D. Cooper and T. Waterman. Investigating adaptive compilation using the MIPSPro compiler. In Proceedings of the 2003 Los Alamos Computer Science Institute Symposium. Los Alamos Computer Science Institute (LACSI), Oct. 2003.
13. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(4):451-490, Oct. 1991.
14. J. W. Davidson and C. W. Fräser. The design and application of a retargetable peephole optimizer. ACM Transactions on Programming Languages and Systems (TOPLAS), 2(2):191-202, Apr. 1980.
15. G. E. Forsythe, M. A. Malcolm, and C. B. Moler. Computer Methods for Mathematical Computations. Prentice-Hall, Englewood Cliffs, NJ, USA, 1977.
16. M. Frigo. A fast fourier transform compiler. SIGPLAN Notices, 34(5):169-180, May 1999. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
17. M. Frigo and S. G. Johnson. FFTW: An adaptive software architecture for the FFT. In Proceedings of the 1998 ICASSP Conference, volume 3, pages 1381-1384, 1998.
18. th Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4), Dec. 2001.
19. L. Johnsson. Private communication. Discussion regarding algorithm choice in the Thinking Machine numerical libraries., Oct. 2003.
20. T. Kisuki, P. M. Knijnenburg, and M. F. O'Boyle. Combined selection of tile sizes and unroll factors using iterative compilation. In Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), pages 237-248, Oct. 2000.
21. th Workshop on Compilers for Parallel Computers, CPC 2000, pages 35-44, Jan. 2000.
22. J. Knoop, O. Rüthing, and B. Steffen. Lazy code motion. SIGPLAN Notices, 27(7):224-234, July 1992. Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation.
23. P. Kulkarni, W. Zhao, H. Moon, K. Cho, D. Whalley, J. Davidson, M. Bailey, Y. Paek, and K. Gallivan. Finding effective optimization phase sequences. In Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Tools, and Compilers for Embedded Systems, pages 12-23, June 2003.
24. G. Marin and J. Mellor-Crummey. Cross-architecture performance predictions for scientific applications using parameterized models. In Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, New York, NY, USA, June 2004.
25. D. Mirkovic and S. L. Johnsson. Automatic performance tuning in the UHFFT library. In Proceedings of the Intentional Conference on Computational Science, May 2001.
26. E. Morel and C. Renvoise. Global optimization by suppression of partial redundancies. Communications of the ACM, 22(2):96-103, Feb. 1979,
27. B. Selman and S. Kirkpatrick. Critical behavior in the computational cost of satisfiability testing. Artificial Intelligence, 81(1-2):273-295, 1996.
28. L. T. Simpson. Value-driven Redundancy Elimination. PhD thesis, Rice University, May 1996.
29. S. Triantifyllis, M. Vachharajani, N. Vachharajani, and D. I. August. Compiler optimization-space exploration. In Proceedings of the First International Symposium on Code Generation and Optimization, Mar. 2003.
30. M. Wegman and F. K. Zadeck. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, 13(2):181-210, Apr. 1991.
31. R. C. Whaley, A. Petitet, and J. J. Dongarra. Automated empirical optimization of software and the ATLAS project. Parallel Computing, 27(1-2):3-25, 2001.
32. D. L. Whitfield and M. L. Soffa. An approach for exploring code improving transformations. ACM Transactions on Programming Languages and Systems (TOPLAS), 19(6): 1053-1084, Nov. 1997.
33. M. Zhao, B. Childers, and M. L. Soffa. Predicting the impact of optimizations for embedded systems. In Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Tools, and Compilers for Embedded Systems, pages 1-11, June 2003.