Follow
S Hitarth
S Hitarth
PhD Candidate, HKUST
Verified email at connect.ust.hk
Title
Cited by
Cited by
Year
Membership inference attacks and generalization: A causal perspective
T Baluta, S Shen, S Hitarth, S Tople, P Saxena
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
172022
Asparagus: Automated synthesis of parametric gas upper-bounds for smart contracts
Z Cai, S Farokhnia, AK Goharshady, S Hitarth
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 882-911, 2023
142023
Algebro-geometric Algorithms for Template-based Synthesis of Polynomial Programs
AK Goharshady, S Hitarth, F Mohammadi, HJ Motwani
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 727-756, 2023
132023
Linear Loop Synthesis for Quadratic Invariants
S Hitarth, G Kenison, L Kovács, A Varonka
arXiv preprint arXiv:2310.05120, 2023
42023
Extending DRAT to SMT
S Hitarth, C Codel, H Lachnitt, B Dutertre
2024
Window Expressions for Stream Data Processing
M Praveen, S Hitarth
arXiv preprint arXiv:2209.04244, 2022
2022
On the relation between the classes of Weighted Automata and Cost Register Automata
S Hitarth
Chennai Mathematical Institute, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–7