Mahsa Shirmohammadi : Publications

Click here to download all publications in a single bibtex file

@article{BanaCSW-popl24,
  title = "On Learning Polynomial Recursive Programs",
  author = "Alex Buna-Marginean and Vincent Cheval and Mahsa Shirmohammadi and James Worrell",
  year = "2024",
  journal = "Proc. {ACM} Program. Lang.",
  note = "To appear January 2024.",
  number = "{POPL}",
  volume = "8",
  doi = "10.1145/3632876",
}