Teodora Baluta

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 20

Top Topics

Quantitative And Qualitative

Hierarchical Clustering

Scripting Languages

Top Venues

Proc. ACM Program. Lang.

Publications

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. SAT (2023)
Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, Prateek Saxena
Unforgeability in Stochastic Gradient Descent. CCS (2023)
Bo Wang, Aashish Kolluri, Ivica Nikolic, Teodora Baluta, Prateek Saxena
User-Customizable Transpilation of Scripting Languages. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. CoRR (2023)
Bo Wang, Aashish Kullori, Ivica Nikolic, Teodora Baluta, Prateek Saxena
User-customizable Transpilation of Scripting Languages. CoRR (2023)
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
Membership Inference Attacks and Generalization: A Causal Perspective. CCS (2022)
Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
LPGNet: Link Private Graph Networks for Node Classification. CCS (2022)
Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
Membership Inference Attacks and Generalization: A Causal Perspective. CoRR (2022)
Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
LPGNet: Link Private Graph Networks for Node Classification. CoRR (2022)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification For Deep Neural Networks. ICSE (2021)
Aashish Kolluri, Teodora Baluta, Prateek Saxena
Private Hierarchical Clustering in Federated Networks. CCS (2021)
Aashish Kolluri, Teodora Baluta, Prateek Saxena
Private Hierarchical Clustering in Federated Networks. CoRR (2021)
Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
SynGuar: guaranteeing generalization in programming by example. ESEC/SIGSOFT FSE (2021)
Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
SynGuar: Guaranteeing Generalization in Programming by Example. CoRR (2021)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification for Deep Neural Networks. ICSE (Companion Volume) (2021)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification For Deep Neural Networks. CoRR (2020)
Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su
One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics. NDSS (2019)
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
Quantitative Verification of Neural Networks and Its Security Applications. CCS (2019)
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
Quantitative Verification of Neural Networks And its Security Applications. CoRR (2019)
Teodora Baluta, Lavanya Ramapantulu, Yong Meng Teo, Ee-Chien Chang
Modeling the effects of insider threats on cybersecurity of complex systems. WSC (2017)