S. Hitarth

15 papers A* 2A 1B 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A* conf
Optimization Modulo Integer Linear-Exponential Programs.
SODA
S. Hitarth, Alessio Mansutti, Guruprerana Shabadi
2026 J jnl
Series-Parallel-Loop Decompositions of Control-flow Graphs.
CoRR
Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam
2026 J jnl
Series-parallel-loop decompositions of control-flow graphs.
J. Syst. Archit.
Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam
2025 — conf
Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences.
ESOP (2)
Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov
2025 — conf
Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs.
ASPLOS (1)
Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam
2025 J jnl
Optimization Modulo Integer Linear-Exponential Programs.
CoRR
S. Hitarth, Alessio Mansutti, Guruprerana Shabadi
2024 B conf
Extending DRAT to SMT.
FMCAD
S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre
2024 A conf
Linear Loop Synthesis for Quadratic Invariants.
STACS
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
2023 J jnl
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs.
Proc. ACM Program. Lang.
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
2023 J jnl
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts.
Proc. ACM Program. Lang.
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth
2023 J jnl
Linear Loop Synthesis for Quadratic Invariants.
CoRR
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
2022 A* conf
Membership Inference Attacks and Generalization: A Causal Perspective.
CCS
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
2022 J jnl
Membership Inference Attacks and Generalization: A Causal Perspective.
CoRR
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
2022 J jnl
Template-based Program Synthesis using Stellensätze.
CoRR
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
2022 J jnl
Window Expressions for Stream Data Processing.
CoRR
M. Praveen, S. Hitarth