Folgen
S Hitarth
S Hitarth
PhD Candidate, HKUST
Bestätigte E-Mail-Adresse bei connect.ust.hk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6