S. Hitarth - RankMe

15 papers A* 2A 1B 1Journal 9Unranked 2

Year	Rank	Type	Title / 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