@inproceedings{10.1145/3514221.3517827,
  title = "Optimizing Recursive Queries with Program Synthesis",
  author = "Wang, Yisu Remy and Abo Khamis, Mahmoud and Ngo, Hung Q. and Pichler, Reinhard and Suciu, Dan",
  year = "2022",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2022 International Conference on Management of Data",
  isbn = "9781450392495",
  keywords = "datalog, program synthesis, recursive aggregate, semirings",
  location = "Philadelphia, PA, USA",
  pages = "79–93",
  publisher = "Association for Computing Machinery",
  series = "SIGMOD '22",
  url = "https://doi.org/10.1145/3514221.3517827",
  doi = "10.1145/3514221.3517827",
}