@article{paper-autumnsynth,
  title = {{Combining Functional and Automata Synthesis to Discover Causal Reactive Programs}},
  author = {{Ria Das} and {Joshua B. Tenenbaum} and {Armando Solar-Lezama} and {Zenna Tavares}},
  year = {2023},
  url = {https://dl.acm.org/doi/10.1145/3571249},
  journal = {Proceedings of the ACM on Programming Languages},
  doi = {10.1145/3571249},
  month = jan
}