no code implementations • 6 Oct 2023 • Saqib Ameen, Levi H. S. Lelis
In this paper, we show that current state-of-the-art cost-guided BUS algorithms suffer from a common problem: they can lose useful information given by the model and fail to perform the search in a best-first order according to a cost function.
1 code implementation • 10 Jul 2023 • Fatemeh Abdollahi, Saqib Ameen, Matthew E. Taylor, Levi H. S. Lelis
Program Optimization with Locally Improving Search (POLIS) exploits the structure of a program, defined by its lines.