| 2026 | IJCAR | Checking Regular Expressions in Cvc5 Proofs. | Ofec Israel, Yoni Zohar, Andrew Reynolds, S. Hitarth, Bruno Dutertre, Clark W. Barrett, Cesare Tinelli |
| 2026 | SODA | Optimization Modulo Integer Linear-Exponential Programs. | S. Hitarth, Alessio Mansutti, Guruprerana Shabadi |
| 2025 | ASPLOS | Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs. | Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam |
| 2025 | ESOP | Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences. | Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov |
| 2025 | SETTA | WEX: Formal Specifications for Windows in Stream Processing. | S. Hitarth, M. Praveen |
| 2024 | FMCAD | Extending DRAT to SMT. | S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre |
| 2024 | STACS | Linear Loop Synthesis for Quadratic Invariants. | S. Hitarth, George Kenison, Laura Kovcs, Anton Varonka |
| 2022 | CCS | Membership Inference Attacks and Generalization: A Causal Perspective. | Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena |