[N40AI'24] Program Synthesis via Bi-directional Reduced-product Abstract Interpretation | ACM SIGPLAN | Podwise