翟隽
人员信息
其他同名人员
优化列表
2020年-今天
2024 [公元32年] 毛劲松 , 海伦丁 , 翟隽 , 马仕卿 :
Merlin:eBPF代码的性能和紧凑性的多层优化。 阿斯普洛斯(3) 2024 : 639-653 [i10] 张晓宇 , 翟隽 , 马仕卿 , 赵深 :
梦想:调试和修复AutoML管道。 CoRR公司 abs/2401.00379 ( 2024 ) [第九章] 张全军 , 翟隽 , 方春荣 , 刘佳伟 , 孙伟松 , 胡海川 , 王庆余 :
通过句法树修剪进行机器翻译测试。 CoRR公司 abs/2401.00751 ( 2024 ) 2023 [c31] 王振亭 , 凯美 , 翟隽 , 马仕卿 :
UNICORN:一个统一的后门触发器反转框架。 ICLR公司 2023 [公元30年] 玄气膏 , 翟隽 , 马仕卿 , 赵深 , 陈宇飞 , 王世伟(Shiwei Wang) :
CILIATE:通过数据集和训练优化实现更公平的基于类的增量学习。 ISSTA公司 2023 : 475-487年 [公元29年] 海伦丁 , 翟隽 , 余洪南 , 马仕卿 :
AIRTAG:通过日志文本的无监督学习实现自动攻击调查。 USENIX安全研讨会 2023 : 373-390 [公元28年] 丁海伦 , 翟娟 , 董登 , 马仕卿 :
学习原产地图存储系统案例。 USENIX安全研讨会 2023 : 3277-3294 [i8] 王振亭 , 凯美 , 翟隽 , 马仕卿 :
UNICORN:一个统一的后门触发器反转框架。 CoRR公司 abs/2304.02786 ( 2023 ) [i7] 玄气膏 , 翟隽 , 马仕卿 , 赵深 , 陈宇飞 , 王世伟(Shiwei Wang) :
CILIATE:通过数据集和训练优化实现更公平的基于类的增量学习。 CoRR公司 abs/2304.04222 ( 2023 ) [i6] 张全军 , 张通科 , 翟娟 , 方春荣 , 余伯温(Bowen Yu) , 孙伟松 , 陈振宇 :
软件工程大型语言模型评论:ChatGPT和自动程序修复示例。 CoRR公司 abs/2310.08879 ( 2023 ) [i5] 葛秀婷 , 方春荣 , 李宣业 , 孙伟松 , 吴道元 , 翟隽 , 林尚伟 , 赵志宏 , 杨柳 , 陈振宇 :
用于可操作警告识别的机器学习:综合调查。 CoRR公司 abs/2312.00324 ( 2023 ) 2022 [公元27年] 王振亭 , 翟隽 , 马仕卿 :
BppAttack:通过图像量化和对比对抗性学习对深层神经网络进行秘密高效的特洛伊木马攻击。 CVPR公司 2022 : 15054-15063 [公元26年] 玄气膏 , 翟隽 , 马仕卿 , 赵深 , 陈宇飞 , 钱旺(Qian Wang) :
Fairneuron:通过选择性神经元上的对抗游戏提高深度神经网络的公平性。 集成电路 2022 : 921-933 [公元25年] 王振亭 , 丁海伦 , 翟隽 , 马仕卿 :
更有信心的训练:在训练中缓解注射和自然后门。 NeurIPS公司 2022 [公元24年] 王振亭 , 凯美 , 海伦丁 , 翟隽 , 马仕卿 :
重新思考特洛伊木马触发器的反向工程。 NeurIPS公司 2022 [i4] 王振亭 , 海伦丁 , 翟隽 , 马仕卿 :
来自输入域的神经网络木马分析和缓解。 CoRR公司 abs/2202.06382 ( 2022 ) [i3] 玄气膏 , 翟隽 , 马仕卿 , 赵深 , 陈宇飞 , 钱旺(Qian Wang) :
FairNeuron:利用选择性神经元上的对手游戏提高深度神经网络的公平性。 CoRR公司 abs/2204.02567 ( 2022 ) [i2] 王振亭 , 翟隽 , 马仕卿 :
BppAttack:通过图像量化和对比对抗性学习对深层神经网络进行秘密高效的特洛伊木马攻击。 CoRR公司 abs/2205.13383 ( 2022 ) [i1] 王振亭 , 凯美 , 海伦丁 , 翟隽 , 马仕卿 :
重新思考特洛伊木马触发器的反向工程。 CoRR公司 abs/2210.15127 ( 2022 ) 2021 【c23】 张晓宇 , 翟隽 , 马仕卿 , 赵深 :
自动训练器:一种自动DNN训练问题检测和修复系统。 集成电路 2021 : 359-371 [公元22年] 海伦丁 , 沈奥燕 , 翟隽 , 马仕卿 :
ELISE:由冗余减少和表示学习支持的高效存储日志系统。 USENIX安全研讨会 2021 : 3023-3040 2020 [j1] 潘敏雪 , 陆一飞 , 于培 , 田章 , 翟隽 , 李宣东 :
使用扩展IFML模型对Android应用程序进行有效测试。 J.系统。 柔和。 159 ( 2020 ) 【c21】 张世玉(Shiyu Zhang) , 翟隽 , 雷布 , 陈明松 , 王林章(Linzhang Wang) , 李宣东 :
使用自然语言自动生成智能家居物联网的LTL规范。 日期 2020 : 622-625 [公元20年] 翟隽 , 徐香泽 , 于实 , 陶冠宏 , 潘敏雪 , 马仕卿 , 雷旭 , 张伟峰 , 林丹 , 张湘玉 :
CPC:通过程序分析自动分类和传播自然语言评论。 集成电路 2020 : 1359-1371 [第19条] 杨章 , 帅少 , 翟隽 , 马仕卿 :
FineLock:自动将粗粒度锁重构为细粒度锁。 ISSTA公司 2020 : 565-568 [第18条] 翟隽 , 于实 , 潘敏雪 , 周桂安 , 刘永祥 , 方春荣 , 马仕卿 , 林丹 , 张湘玉 :
C2S:将自然语言注释翻译为正式的程序规范。 ESEC/SIGSOFT FSE 2020 : 25-37 [第17条] 申奥燕 , 陶冠宏 , 刘旭伟 , 翟隽 , 马仕卿 , 雷旭 , 张湘玉 :
深度神经网络模型覆盖标准和模型质量之间的相关性。 ESEC/SIGSOFT FSE 2020 : 775-787
2010 – 2019
2019 [第16条] 瑞华记 , 裴俊裕 , 杨文华 , 翟隽 , 潘敏雪 , 田章 :
提取移动用户界面转换的映射关系。 网构 2019 : 2点1-2分10秒 [第15条] 陆一飞 , 潘敏雪 , 翟娟 , 田章 , 李宣东 :
Android应用程序的首选项测试。 ESEC/SIGSOFT FSE 2019 : 268至278 2018 [第14条] 唐振浩 , 翟隽 , 潘敏雪 , 尤斯拉·阿费尔 , 马仕卿 , 张湘玉 , 赵建华 :
双重力量:通过跨语言强制执行了解WebView恶意软件。 ASE公司 2018 : 714-725 [第13条] 刘英奇 , 马仕卿 , 尤斯拉·阿费尔 , 李文川 , 翟娟 , 王伟航(Weihang Wang) , 张湘玉 :
神经网络上的木马攻击。 NDSS公司 2018 [第12条] 马仕卿 , 翟隽 , 永威权 , 李圭贤 , 张湘玉 , 加布里埃拉·西奥卡利 , 阿什什·盖哈尼 , Vinod Yegneswaran公司 , 徐东燕 , 萨默什·贾 :
用于因果跟踪的内核支持的成本效益审计日志记录。 USENIX年度技术会议 2018 : 241-254 2017 [第11条] 李斌 , 翟隽 , 唐振浩 , 恩义堂 , 赵建华 :
归纳循环程序中阵列不变量合成的框架。 亚太经合组织 2017 : 21-30 [第10条] 唐振浩 , 翟隽 , 李斌 , 赵建华 :
你的课封得好吗? Java封装分析。 QRS(QRS) 2017 : 208-215 [c9] 马仕卿 , 尤斯拉·阿费尔 , 许兆贵 , 李文川 , 翟隽 , 刘英奇 , 张湘玉 :
LAMP:通过导数计算的基于图的机器学习算法的数据来源。 ESEC/SIGSOFT FSE 2017 : 786-797 【c8】 马仕卿 , 翟隽 , 王飞(音译) , Kyu Hyung Lee(李奎亨) , 张湘玉 , 徐东燕 :
MPI:基于语义感知执行分区的多视角攻击调查。 USENIX安全研讨会 2017 : 1111-1128 2016 【c7】 翟隽 , 黄建军 , 马仕卿 , 张湘玉 , 林丹 , 赵建华 , 冯琴 :
根据Java API函数的文档自动生成模型。 集成电路 2016 : 380-391 【c6】 李斌 , 镇好汤 , 翟娟 , 赵建华 :
简单程序中数组的自动不变量综合。 QRS(QRS) 2016 : 108-119 【c5】 翟隽 , 李斌 , 唐振浩 , 赵建华 , 李宣东 :
数据结构上循环迭代的前提条件计算。 QRS(QRS) 2016 : 132-143 2015 【c4】 唐振浩 , 王汉飞 , 李斌 , 翟隽 , 赵建华 , 李宣东 :
分析递归数据结构的归纳定义属性。 网构 2015 : 221-228 【c3】 唐振浩 , 王汉飞 , 李斌 , 翟隽 , 赵建华 , 李宣东 :
链接递归数据结构的节点集分析。 QRS(QRS) 2015 : 59-64 【c2】 翟隽 , 王汉飞 , 赵建华 :
数据结构上循环的断言定向前提合成。 设置 2015 : 258-274 2014 【c1】 翟隽 , 王汉飞 , 赵建华 :
数据结构上循环的后置条件定向不变量推理。 SERE(伴侣) 2014 : 204-212年