Papers related to Synthesis

• Absynthe: Abstract interpretation-guided synthesis [guria:pldi:2023]