Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track
Thu 27 May 2021 00:55 - 01:15 at Blended Sessions Room 4 - 2.2.4. Programming: General Issues
A typical compiler such as GCC supports hundreds of optimizations controlled by compilation flags for improving the runtime performance of the compiled program. Due to the large number of compilation flags and the exponential number of flag combinations, it is impossible for compiler users to manually tune these optimization flags in order to achieve the required runtime performance of the compiled programs. Over the years, many compiler autotuning approaches have been proposed to automatically tune optimization flags, but they still suffer from the efficiency problem due to the huge search space. In this paper, we propose the first Bayesian optimization based approach, called BOCA, for efficient compiler autotuning. In BOCA, we leverage a tree-based model for approximating the objective function in order to make Bayesian optimization scalable to a large number of optimization flags. Moreover, we design a novel searching strategy to improve the efficiency of Bayesian optimization by incorporating the impact of each optimization flag measured by the tree-based model and a decay function to strike a balance between exploitation and exploration. We conduct extensive experiments to investigate the effectiveness of BOCA on two most popular C compilers (i.e., GCC and LLVM) and two widely-used C benchmarks (i.e., cBench and PolyBench). The results show that BOCA significantly outperforms the state-of-the-art compiler autotuning approaches and Bayesion optimization methods in terms of the time spent on achieving specified speedups, demonstrating the effectiveness of BOCA.
Wed 26 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:55 - 13:55 | 2.2.4. Programming: General IssuesTechnical Track at Blended Sessions Room 4 +12h Chair(s): Gregorio Robles Universidad Rey Juan Carlos | ||
12:55 20mPaper | Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track Technical Track Junjie Chen College of Intelligence and Computing, Tianjin University, Ningxin Xu College of Intelligence and Computing, Tianjin University, Peiqi Chen College of Intelligence and Computing, Tianjin University, Hongyu Zhang The University of Newcastle Pre-print Media Attached | ||
13:15 20mPaper | TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track Technical Track Yeting Li Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin Li School of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu Xu Shenzhen University, Shenzhen, China, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun Hu Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Pre-print Media Attached | ||
13:35 20mPaper | EvoSpex: An Evolutionary Algorithm for Learning PostconditionsTechnical Track Technical Track Facundo Molina University of Rio Cuarto and CONICET, Argentina, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Pre-print Media Attached |
Thu 27 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
00:55 - 01:55 | |||
00:55 20mPaper | Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track Technical Track Junjie Chen College of Intelligence and Computing, Tianjin University, Ningxin Xu College of Intelligence and Computing, Tianjin University, Peiqi Chen College of Intelligence and Computing, Tianjin University, Hongyu Zhang The University of Newcastle Pre-print Media Attached | ||
01:15 20mPaper | TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track Technical Track Yeting Li Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin Li School of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu Xu Shenzhen University, Shenzhen, China, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun Hu Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Pre-print Media Attached | ||
01:35 20mPaper | EvoSpex: An Evolutionary Algorithm for Learning PostconditionsTechnical Track Technical Track Facundo Molina University of Rio Cuarto and CONICET, Argentina, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Pre-print Media Attached |