Mahsa Shirmohammadi

Mahsa Shirmohammadi

Visiting Academic

Selected Publications

View AllManage publications

• On Learning Polynomial Recursive Programs

  Alex Buna−Marginean‚ Vincent Cheval‚ Mahsa Shirmohammadi and James Worrell

  In Proc. ACM Program. Lang.. Vol. 8. No. POPL. Pages 1001–1027. 2024.

  Details about On Learning Polynomial Recursive Programs | BibTeX data for On Learning Polynomial Recursive Programs | DOI (10.1145/3632876) | Link to On Learning Polynomial Recursive Programs