Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

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 May

Displayed 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
20m
Paper
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
20m
Paper
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
20m
Paper
EvoSpex: An Evolutionary Algorithm for Learning PostconditionsArtifact ReusableTechnical 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 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

00:55 - 01:55
2.2.4. Programming: General IssuesTechnical Track at Blended Sessions Room 4
00:55
20m
Paper
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
20m
Paper
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
20m
Paper
EvoSpex: An Evolutionary Algorithm for Learning PostconditionsArtifact ReusableTechnical 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