All Stories

  1. Fast and Optimal Extraction for Sparse Equality Graphs

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

    S. Hitarth

  2. Quantitative Bounds on Resource Usage of Probabilistic Programs

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

    S. Hitarth, Tobias Meggendorfer

  3. 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