@misc{indiciaedac2ffbfc1bf,
  title = {Absynthe: Abstract Interpretation-Guided Synthesis},
  author = {Sankha Narayan Guria and Jeffrey S. Foster and David Van Horn},
  year = {2023},
  doi = {10.1145/3591285},
  url = {https://arxiv.org/abs/2302.13145},
  note = {Source identifier: 2302.13145}
}