All Stories

  1. Template-based synthesis of polynomial programs using techniques from Algebraic geometry

    Article • Proceedings of the ACM on Programming Languages, April 2023, ACM (Association for Computing Machinery)

    S. Hitarth, Harshit Jitendra Motwani