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.",
  number = "{POPL}",
  pages = "1001--1027",
  url = "https://doi.org/10.1145/3632876",
  volume = "8",
  doi = "10.1145/3632876",
}