Följ
S Hitarth
S Hitarth
PhD Candidate, HKUST
Verifierad e-postadress på connect.ust.hk
Titel
Citeras av
Citeras av
År
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
112022
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
82023
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
52023
Linear Loop Synthesis for Quadratic Invariants
S Hitarth, G Kenison, L Kovács, A Varonka
arXiv preprint arXiv:2310.05120, 2023
2023
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6