Login / Signup
S. Hitarth
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 7
Top Topics
Causal Relationships
Semidefinite
Stream Data
Program Synthesis
Top Venues
CoRR
Proc. ACM Program. Lang.
CCS
</>
Publications
</>
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)