[PLDI'23] Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation | ACM SIGPLAN | Podwise