S. Hitarth

According to our database, S. Hitarth authored at least 9 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences.

Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov

Proceedings of the Programming Languages and Systems, 2025

Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs.

Xuran Cai, Amir Kafshdar Goharshady, S. Hitarth, Chun Kit Lam

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Linear Loop Synthesis for Quadratic Invariants.

S. Hitarth, George Kenison, Laura Kovács, Anton Varonka

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Extending DRAT to SMT.

S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts.

Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth

Proc. ACM Program. Lang., October, 2023

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs.

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani

Proc. ACM Program. Lang., April, 2023

2022

Window Expressions for Stream Data Processing.

M. Praveen, S. Hitarth

CoRR, 2022

Template-based Program Synthesis using Stellensätze.

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani

CoRR, 2022

Membership Inference Attacks and Generalization: A Causal Perspective.

Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022