Membership Inference Attacks and Generalization: A Causal Perspective. - Teodora Baluta; Shiqi Shen; S. Hitarth; Shruti Tople; Prateek Saxena (CCS, 2022)

Template-based Program Synthesis using Stellensätze. - Amir Kafshdar Goharshady; S. Hitarth; Fatemeh Mohammadi; Harshit J. Motwani (CoRR, 2022)

Window Expressions for Stream Data Processing. - M. Praveen; S. Hitarth (CoRR, 2022)

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. - Amir Kafshdar Goharshady; S. Hitarth; Fatemeh Mohammadi; Harshit J. Motwani (Proc. ACM Program. Lang., 2023)

Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts. - Zhuo Cai 001; Soroush Farokhnia; Amir Kafshdar Goharshady; S. Hitarth (Proc. ACM Program. Lang., 2023)

Extending DRAT to SMT. - S. Hitarth; Cayden R. Codel; Hanna Lachnitt; Bruno Dutertre (FMCAD, 2024)

Linear Loop Synthesis for Quadratic Invariants. - S. Hitarth; George Kenison; Laura Kovács; Anton Varonka (STACS, 2024)

Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs. - Xuran Cai; Amir Kafshdar Goharshady; S. Hitarth; Chun Kit Lam (ASPLOS (1), 2025)

Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences. - Amir Kafshdar Goharshady; S. Hitarth; Sergei Novozhilov (ESOP (2), 2025)