特奥多拉·巴卢塔
人员信息
优化列表
2020年–今天
2023 [j1] 王波(Bo Wang) , 阿什什·科卢里 , 伊维卡·尼科利奇 , 特奥多拉·巴卢塔 , Prateek Saxena公司 :
脚本语言的用户自定义翻译。 程序。 ACM计划。 语言。 7 ( OOPSLA1型 ) : 201-229 ( 2023 ) [第11条] 特奥多拉·巴卢塔 , 伊维卡·尼科利奇 , Racchit耆那教 , 迪维什·阿加瓦尔 , Prateek Saxena公司 :
随机梯度下降中的不可伪造性。 CCS系统 2023 : 1138-1152 [第10条] Jiong Yang(杨炯) , 阿里吉特·肖 , 特奥多拉·巴卢塔 , Mate Soos公司 , 库尔德普·S·梅尔 :
解释使用因果推理解决SAT问题。 坐 2023 : 28:1-28:19 [i8] 王波(Bo Wang) , 阿什什·库洛里 , 伊维卡·尼科利奇 , 特奥多拉·巴卢塔 , Prateek Saxena公司 :
脚本语言的用户自定义翻译。 CoRR公司 abs/2301.11220 ( 2023 ) [i7] Jiong Yang(杨炯) , 阿里吉特·肖 , 特奥多拉·巴卢塔 , 马特·索斯 , 库尔德普·S·梅尔 :
使用因果推理解释SAT解决方案。 CoRR公司 腹肌/2306.06294 ( 2023 ) 2022 【c9】 特奥多拉·巴鲁塔 , Shiqi Shen公司 , S.Hitarth公司 , Shruti头饰 , Prateek Saxena公司 :
成员推断攻击和泛化:因果视角。 CCS系统 2022 : 249-262 【c8】 阿什什·科卢里 , 特奥多拉·巴卢塔 , 布莱恩·胡伊 , Prateek Saxena公司 :
LPGNet:用于节点分类的链接私有图形网络。 CCS系统 2022 : 1813-1827 [i6] 阿什什·科卢里 , 特奥多拉·巴卢塔 , 布莱恩·胡伊 , Prateek Saxena公司 :
LPGNet:用于节点分类的链接私有图形网络。 CoRR公司 abs/2205.03105 ( 2022 ) [i5] 特奥多拉·巴卢塔 , Shiqi Shen公司 , S.Hitarth公司 , Shruti头饰 , Prateek Saxena公司 :
成员推断攻击和泛化:因果视角。 CoRR公司 abs/2209.08615 ( 2022 ) 2021 【c7】 阿什什·科卢里 , 特奥多拉·巴卢塔 , Prateek Saxena公司 :
联邦网络中的私有层次集群。 CCS系统 2021 : 2342-2360 【c6】 特奥多拉·巴卢塔 , 郑梁蔡(Zheng Leong Chua) , 库尔德普·S·梅尔 , Prateek Saxena公司 :
深度神经网络的可扩展定量验证。 ICSE(配套卷) 2021 : 248-249 【c5】 特奥多拉·巴卢塔 , 郑梁蔡(Zheng Leong Chua) , 库尔德普·S·梅尔 , Prateek Saxena公司 :
深度神经网络的可扩展定量验证。 ICSE公司 2021 : 312-323 【c4】 王波(Bo Wang) , 特奥多拉·巴卢塔 , 阿什什·科卢里 , Prateek Saxena公司 :
SynGuar:通过示例保证编程的通用性。 ESEC/SIGSOFT FSE 2021 : 677-689 [i4] 阿什什·科卢里 , 特奥多拉·巴卢塔 , Prateek Saxena公司 :
联邦网络中的私有层次集群。 CoRR公司 abs/2105.09057 ( 2021 ) [i3] 王波(Bo Wang) , 特奥多拉·巴卢塔 , 阿什什·科卢里 , Prateek Saxena公司 :
SynGuar:通过示例保证编程的通用性。 CoRR公司 腹肌/2106.11610 ( 2021 ) 2020 [i2] 特奥多拉·巴卢塔 , 郑梁蔡(Zheng Leong Chua) , 库尔德普·S·梅尔 , Prateek Saxena公司 :
深度神经网络的可扩展定量验证。 CoRR公司 abs/2002.06864 ( 2020 )
2010年至2019年
2019 【c3】 特奥多拉·巴卢塔 , Shiqi Shen公司 , Shweta Shinde公司 , 库尔德普·S·梅尔 , Prateek Saxena公司 :
神经网络的定量验证及其安全应用。 CCS系统 2019 : 1249-1264 【c2】 郑梁蔡(Zheng Leong Chua) , 王燕浩 , 特奥多拉·巴卢塔 , Prateek Saxena公司 , 梁振凯 , 苏普瑞 :
一个引擎为所有人服务:在没有建筑语义的情况下推断污点规则。 NDSS公司 2019 [i1] 特奥多拉·巴卢塔 , Shiqi Shen公司 , Shweta Shinde公司 , 库尔德普·S·梅尔 , Prateek Saxena公司 :
神经网络的定量验证及其安全应用。 CoRR公司 abs/1906.10395 ( 2019 ) 2017 【c1】 特奥多拉·巴卢塔 , 拉瓦尼亚·拉马潘图卢 , 雍梦涛(Yong Meng Teo) , Ee-Chien Chang(易建昌) :
模拟内部威胁对复杂系统网络安全的影响。 WSC公司 2017 : 4360-4371