[POPL'24] Optimal Program Synthesis via Abstract Interpretation | ACM SIGPLAN | Podwise