S. Hitarth

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Causal Relationships

Quadratic Function

Data Processing

Top Venues

Proc. ACM Program. Lang.

Publications

S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
Linear Loop Synthesis for Quadratic Invariants. STACS (2024)
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
Linear Loop Synthesis for Quadratic Invariants. CoRR (2023)
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady, S. Hitarth
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
M. Praveen, S. Hitarth
Window Expressions for Stream Data Processing. CoRR (2022)
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
Membership Inference Attacks and Generalization: A Causal Perspective. CCS (2022)
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
Template-based Program Synthesis using Stellensätze. CoRR (2022)
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
Membership Inference Attacks and Generalization: A Causal Perspective. CoRR (2022)