S. Hitarth

According to our database, S. Hitarth authored at least 6 papers between 2022 and 2024.

Collaborative distances:

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

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

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