Language and compiler support for auto-tuning variable-accuracy algorithms

Proceedings - International Symposium on Code Generation and Optimization, CGO 2011

Volumn , Issue , 2011, Pages 85-96

  Ansel, Jason ^a   Wong, Yee Lok ^a   Chan, Cy ^a   Olszewski, Marek ^a   Edelman, Alan ^a   Amarasinghe, Saman ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCURACY ALGORITHMS; AUTOTUNING; COMPILE TIME; COMPILER TECHNIQUES; GENETIC TUNING ALGORITHM; HIGH LEVEL SPECIFICATION; LANGUAGE EXTENSIONS; LIBRARY USERS; OPTIMAL ALGORITHM; OPTIMIZED ALGORITHMS; ORDERS OF MAGNITUDE; PERFORMANCE IMPROVEMENTS; PERFORMANCE OPTIMIZATIONS; RECURSIONS; RESAMPLING; TIMING CONSTRAINTS;

ITERATIVE METHODS; NETWORK COMPONENTS; OPTIMIZATION; PARAMETER ESTIMATION; PROGRAM COMPILERS; TIMING CIRCUITS;

APPROXIMATION ALGORITHMS;

EID: 79957514447     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2011.5764677     Document Type: Conference Paper

References (32)

1. L. A. Zadeh, "Fuzzy logic, neural networks, and soft computing," Commun. ACM, vol. 37, no. 3, pp. 77-84, 1994.
2. W. F. de la Vega and G. S. Lueker, "Bin packing can be solved within 1+epsilon in linear time," Combinatorica, vol. 1, no. 4, pp. 349-355, 1981.
3. D. Young, Iterative solution of large linear systems. Dover Publications, 2003.
4. J. Ansel, C. Chan, Y. L. Wong, M. Olszewski, Q. Zhao, A. Edelman, and S. Amarasinghe, "Petabricks: A language and compiler for algorithmic choice," in ACM SIGPLAN Conference on Programming Language Design and Implementation, Dublin, Ireland, Jun 2009.
5. C. Chan, J. Ansel, Y. L. Wong, S. Amarasinghe, and A. Edelman, "Autotuning multigrid with petabricks," in ACM/IEEE Conference on Supercomputing, Portland, OR, Nov 2009.
6. J. Ansel and C. Chan, "Petabricks: Building adaptable and more efficient programs for the multi-core era," Crossroads, The ACM Magazine for Students (XRDS), vol. 17, no. 1, pp. 32-37, Sep 2010.
7. D. Arthur and S. Vassilvitskii, "k-means++: the advantages of careful seeding," in ACM-SIAM Symposium on Discrete Algorithms, January 2007.
8. P. Waldemar and T. Ramstad, "Hybrid KLT-SVD image compression," in IEEE International Conference on Acoustics, Speech, and Signal Processing, Washington, DC, USA, 1997, p. 2713.
9. J. W. Demmel, Applied Numerical Linear Algebra. SIAM, August 1997.
10. S. Misailovic, S. Sidiroglou, H. Hoffman, and M. Rinard, "Quality of service profiling," in International Conference on Software Engineering, Cape Town, South Africa, May 2010.
11. H. Hoffmann, S. Misailovic, S. Sidiroglou, A. Agarwal, and M. Rinard, "Using code perforation to improve performance, reduce energy consumption, and respond to failures," Massachusetts Institute of Technology, Tech. Rep. MIT-CSAIL-TR-2209-042, Sep 2009.
12. M. Rinard, "Probabilistic accuracy bounds for fault-tolerant computations that discard tasks," in ICS '06: Proceedings of the 20th annual international conference on Supercomputing, 2006, pp. 324-334.
13. M. Rinard, "Using early phase termination to eliminate load imbalances at barrier synchronization points," in ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, 2007, pp. 369-386.
14. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard, "Dynamic knobs for power-aware computing," in Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA, USA, Mar 2011.
15. W. Baek and T. Chilimbi, "Green: A framework for supporting energy-conscious programming using controlled approximation," in ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2010.
16. J. Bilmes, K. Asanovic, C.-W. Chin, and J. Demmel, "Optimizing matrix multiply using PHiPAC: a portable, high-performance, ANSI C coding methodology," in Proceedings of the ACM/IEEE Conference on Supercomputing. New York, NY, USA: ACM, 1997, pp. 340-347.
17. R. C. Whaley and J. J. Dongarra, "Automatically tuned linear algebra software," in ACM/IEEE Conference on Supercomputing. Washington, DC, USA: IEEE Computer Society, 1998, pp. 1-27.
18. M. Frigo and S. G. Johnson, "The design and implementation of FFTW3," Proceedings of the IEEE, vol. 93, no. 2, pp. 216-231, February 2005, invited paper, special issue on "Program Generation, Optimization, and Platform Adaptation".
19. C. W. Kessler and W. Lowe, "A framework for performanceaware composition of explicitly parallel components," in PARCO, ser. Advances in Parallel Computing, vol. 15. IOS Press, 2008, pp. 226-234.
20. J. Andersson, M. Ericsson, C. Kessler, and W. Lowe, "Profile-guided composition," Lecture Notes in Computer Science, vol. 4954, pp. 157-164, March 2008.
21. E. Im and K. Yelick, "Optimizing sparse matrix computations for register reuse in SPARSITY," in Proceedings of the International Conference on Computational Science. Springer, 2001, pp. 127-136.
22. M. Püschel, J. M. F. Moura, B. Singer, J. Xiong, J. R. Johnson, D. A. Padua, M. M. Veloso, and R. W. Johnson, "Spiral: A generator for platform-adapted libraries of signal processing alogorithms," IJHPCA, vol. 18, no. 1, pp. 21-45, 2004.
23. Y. Voronenko, F. de Mesmay, and M. Püschel, "Computer generation of general size linear transform libraries," in International Symposium on Code Generation and Optimization (CGO), 2009, pp. 102-113.
24. F. Franchetti, F. de Mesmay, D. McFarlin, and M. Püschel, "Operator language: A program generation framework for fast kernels," in IFIP Working Conference on Domain Specific Languages (DSL WC), ser. Lecture Notes in Computer Science, vol. 5658. Springer, 2009, pp. 385-410.
25. A. Ali, L. Johnsson, and J. Subhlok, "Scheduling FFT computation on SMP and multicore systems," in Proceedings of the ACM/IEEE Conference on Supercomputing. New York, NY, USA: ACM, 2007, pp. 293-301.
26. R. Vuduc, J. W. Demmel, and K. A. Yelick, "OSKI: A library of automatically tuned sparse matrix kernels," in Proceedings of the Scientific Discovery through Advanced Computing Conference, ser. Journal of Physics: Conference Series. San Francisco, CA, USA: Institute of Physics Publishing, June 2005.
27. C. Ţǎpuş, I.-H. Chung, and J. K. Hollingsworth, "Active harmony: towards automated performance tuning," in Proceedings of the 2002 ACM/IEEE conference on Supercomputing, ser. Supercomputing '02. Los Alamitos, CA, USA: IEEE Computer Society Press, 2002, pp. 1-11.
28. A. Tiwari, C. Chen, C. Jacqueline, M. Hall, and J. K. Hollingsworth, "A scalable auto-tuning framework for compiler optimization," in Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing. Washington, DC, USA: IEEE Computer Society, 2009, pp. 1-12.
29. S. W. Williams, A. Waterman, and D. A. Patterson, "Roofline: An insightful visual performance model for floating-point programs and multicore architectures," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-134, Oct 2008.
30. E. A. Brewer, "High-level optimization via automated statistical modeling," in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. New York, NY, USA: ACM, 1995, pp. 80-91.
31. M. G. Lagoudakis and M. L. Littman, "Algorithm selection using reinforcement learning," in Proceedings of the International Conference On Machine Learning. Morgan Kaufmann, 2000, pp. 511-518.
32. H. Yu, D. Zhang, and L. Rauchwerger, "An adaptive algorithm selection framework," in Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. Washington, DC, USA: IEEE Computer Society, 2004, pp. 278-289.