Empirical Comparison of Runtime Improvement Approaches: Genetic Improvement, Parameter Tuning, and Their Combination
Software can be optimised in various ways, e.g., by changing the code directly, modifying compiler or software’s paramters. To automate these tasks, algorithm configuration and genetic improvement have been proposed where one modifies parameters and the other source code. Several tools have been introduced to facilitate such changes automatically. However, these tools only work at a single code level, either optimising a parameter or modifying source code. In 2022, Blot and Petke introduced MAGPIE, which is a framework that is capable of simultaneously searching for improvement at different granu- larity levels. From our literature review, we found that the best search strategies in genetic improvement and algorithm configuration, that generalise to both domains, are based on local search and genetic algorithms, respectively. We thus compared the two approaches for runtime improvement of the MiniSAT solver. We also explored the two search strategies on the joint search space of parameter and source code edits. We found that genetic improvement with first improvement local search led to the best results by improving MiniSAT’s runtime by 18.05%.
Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Morning Session 2GI at 202 Chair(s): William Langdon University College London, Vesna Nowack Imperial College London | ||
11:00 30mTalk | Large Language Model based Code Completion is an Effective Genetic Improvement Mutation GI Jingyuan Wang University College London, Carol Hanna University College London, Justyna Petke University College London | ||
11:30 30mTalk | Enhancing Software Runtime with Reinforcement Learning-Driven Mutation Operator Selection in Genetic Improvement GI Damien Bose University College London, Carol Hanna University College London, Justyna Petke University College London | ||
12:00 30mTalk | Empirical Comparison of Runtime Improvement Approaches: Genetic Improvement, Parameter Tuning, and Their Combination GI Thanatad Songpetchmongkol University College London, Aymeric Blot University of Rennes, IRISA / INRIA, Justyna Petke University College London |