[PLDI'23] Absynthe: Abstract Interpretation-Guided Synthesis | ACM SIGPLAN | Podwise