Program Synthesis with Best-First Bottom-Up Search

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.

Program Synthesis

Can You Improve My Code? Optimizing Programs with Local Search

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.