Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021

This program is tentative and subject to change.

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.

This program is tentative and subject to change.

Wed 26 May
Times are displayed in 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 RoblesUniversidad Rey Juan Carlos
12:55
20m
Paper
Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track
Technical Track
Junjie ChenCollege of Intelligence and Computing, Tianjin University, Ningxin XuCollege of Intelligence and Computing, Tianjin University, Peiqi ChenCollege of Intelligence and Computing, Tianjin University, Hongyu ZhangThe University of Newcastle
Pre-print
13:15
20m
Paper
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track
Technical Track
Yeting LiInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin LiSchool of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu XuShenzhen University, Shenzhen, China, Jialun CaoDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan ChenInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun HuInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming ChenInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print
13:35
20m
Paper
EvoSpex: An Evolutionary Algorithm for Learning PostconditionsArtifact ReusableTechnical Track
Technical Track
Facundo MolinaUniversity of Rio Cuarto and CONICET, Argentina, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno AguirreUniversity of Rio Cuarto and CONICET, Argentina, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print

Thu 27 May
Times are displayed in 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 ChenCollege of Intelligence and Computing, Tianjin University, Ningxin XuCollege of Intelligence and Computing, Tianjin University, Peiqi ChenCollege of Intelligence and Computing, Tianjin University, Hongyu ZhangThe University of Newcastle
Pre-print
01:15
20m
Paper
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track
Technical Track
Yeting LiInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin LiSchool of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu XuShenzhen University, Shenzhen, China, Jialun CaoDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan ChenInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun HuInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming ChenInstitute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print
01:35
20m
Paper
EvoSpex: An Evolutionary Algorithm for Learning PostconditionsArtifact ReusableTechnical Track
Technical Track
Facundo MolinaUniversity of Rio Cuarto and CONICET, Argentina, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno AguirreUniversity of Rio Cuarto and CONICET, Argentina, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print

Information for Participants
Info for Blended Sessions Room 4: