Segui
S Hitarth
S Hitarth
PhD Candidate, HKUST
Email verificata su connect.ust.hk
Titolo
Citata da
Citata da
Anno
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
212022
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
182023
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
142023
Linear Loop Synthesis for Quadratic Invariants
S Hitarth, G Kenison, L Kovács, A Varonka
arXiv preprint arXiv:2310.05120, 2023
52023
Faster Chaitin-like Register Allocation via Grammatical Decompositions of Control-Flow Graphs
X Cai, AK Goharshady, S Hitarth, CK Lam
Proceedings of the 30th ACM International Conference on Architectural …, 2025
2*2025
Extending DRAT to SMT
S Hitarth, C Codel, H Lachnitt, B Dutertre
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2024, 18, 2024
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–8