郑云辉
人员信息
优化列表
2020年–今天
2024 [j6] 索拉卜·普贾尔 , 郑云辉 , 卢卡·布拉蒂 , 伯恩·刘易斯 , 陈云中 , 吉姆·拉雷多 , 亚历山德罗·莫拉里 , 爱德华·爱泼斯坦 , 林宗南 , 杨波(Bo Yang) , 钟苏 :
使用ML集合和C-BERT分析D2A数据集中的源代码漏洞。 恩皮尔。 柔和。 工程师。 29 ( 2 ) : 48 ( 2024 ) 2023 [j5] 孙一龙 , 吴志勇 , 柯蒙 , 郑云辉 :
基于云边缘计算的车辆任务卸载与作业调度方法。 IEEE传输。 智力。 运输。 系统。 24 ( 12 ) : 14651-14662 ( 2023 ) 【j4】 萨希勒·苏内加 , 余凡庄 , 郑运辉 , 吉姆·拉雷多 , 亚历山德罗·莫拉里 , 乌达扬·库拉纳 :
将信号感知纳入源代码建模:漏洞检测的应用。 ACM事务处理。 柔和。 工程方法。 32 ( 6 ) : 145:1-145:40 ( 2023 ) [公元39年] 萨希勒·苏内加 , 余凡庄 , 郑云辉 , 吉姆·拉雷多 , 亚历山德罗·莫拉里 , 乌达扬·库拉纳 :
通过信号软件学习进行代码漏洞检测。 欧洲标准普尔 2023 : 506-523 [公元38年] 严玉田 , 郑云辉 , 刘新岳 , 内纳德·梅德维多维奇 , 王伟航(Weihang Wang) :
坚持:入侵广告的自动检测和修复。 集成电路 2023 : 486-498 2022 [公元37年] Chijung Jung先生 , 斗原·金 , 安晨 , 王伟航(Weihang Wang) , 郑云辉 , Kyu Hyung Lee(李奎亨) , 永威权 :
通过模糊翻译隐藏关键程序组件。 集成电路 2022 : 1120-1132 [公元36年] 索拉卜·普贾尔 , 郑云辉 , 卢卡·布拉蒂 , 伯恩·L·刘易斯 , 亚历山德罗·莫拉里 , 吉姆·拉雷多 , 凯文·波斯特莱斯韦 , 克里斯托夫·戈恩 :
Varangian:用于增强静态分析的Git Bot。 汽水分离再热器 2022 : 766-767 [公元35年] 杨瑞波丁 , 萨希勒·苏内加 , 郑云辉 , 吉姆·拉雷多 , 亚历山德罗·莫拉里 , 盖尔·凯泽 , 白沙基射线 :
VELVET:一种noVel集成学习方法,用于自动定位VulnErable sTaements。 桑纳 2022 : 959-970 2021 [公元34年] 萨希勒·苏内加 , 郑云辉 , 余凡庄 , 吉姆·阿兰·拉雷多 , 亚历山德罗·莫拉里 :
为源代码理解建立可靠的人工智能。 SoCC公司 2021 : 403-411 [公元33年] 郑云辉 , 索拉卜·普贾尔 , 伯恩·刘易斯 , 卢卡·布拉蒂 , 爱德华·爱泼斯坦 , 杨波(Bo Yang) , 吉姆·拉雷多 , 亚历山德罗·莫拉里 , 钟苏 :
D2A:使用差异分析为基于AI的漏洞检测方法构建的数据集。 ICSE(SEIP) 2021 : 111-120 [公元32年] Chijung Jung先生 , 斗原·金 , 王伟航(Weihang Wang) , 郑云辉 , Kyu Hyung Lee(李奎亨) , 永威权 :
通过模糊翻译战胜程序分析技术。 ASE公司 2021 : 1382-1387 [公元31年] 萨希勒·苏内加 , 郑云辉 , 羽扇庄 , 吉姆·阿兰·拉雷多 , 亚历山德罗·莫拉里 :
通过预测-保护输入最小化来探测模型信号意识。 ESEC/SIGSOFT FSE 2021 : 945-955 [i11] 郑云辉 , 索拉卜·普贾尔 , 伯恩·刘易斯 , 卢卡·布拉蒂 , 爱德华·爱泼斯坦 , 杨波(Bo Yang) , 吉姆·拉雷多 , 亚历山德罗·莫拉里 , 钟苏 :
D2A:使用差异分析为基于AI的漏洞检测方法构建的数据集。 CoRR公司 abs/2102.07995 ( 2021 ) [i10] 萨希勒·苏内加 , 余凡庄 , 郑云辉 , 吉姆·拉雷多 , 亚历山德罗·莫拉里 :
数据驱动和SE辅助的AI模型信号意识增强和反思。 CoRR公司 腹肌/2111.05827 ( 2021 ) [第九章] 杨瑞波丁 , 萨希勒·苏内加 , 郑云辉 , 吉姆·拉雷多 , 亚历山德罗·莫拉里 , 盖尔·凯泽 , 白沙基射线 :
VELVET:一种noVel集成学习方法,用于自动定位VulnErable sTaements。 CoRR公司 abs/2112.10893 ( 2021 ) 2020 [公元30年] I Luk Kim先生 , 郑云辉 , 霍根公园 , 王伟航(Weihang Wang) , 魏友 , 尤斯拉·阿费尔 , 张湘玉 :
查找客户端业务流篡改漏洞。 集成电路 2020 : 222-233 [公元29年] 艾伦·罗马诺 , 郑云辉 , 王伟航(Weihang Wang) :
MinerRay:对不断发展的加密劫持检测进行语义感知分析。 ASE公司 2020 : 1129-1140 [i8] 萨希勒·苏内加 , 郑云辉 , 余凡庄 , 吉姆·拉雷多 , 亚历山德罗·莫拉里 :
学习使用“代码即图形”将源代码映射到软件漏洞。 CoRR公司 abs/2006.08614 ( 2020 ) [i7] 卢卡·布拉蒂 , 索拉卜·普贾尔 , 婆罗洲Mihaela A , J.斯科特·麦卡利 , 郑云辉 , 加埃塔诺·罗西埃洛 , 亚历山德罗·莫拉里 , 吉姆·拉雷多 , 维罗妮卡·托斯特 , 余凡庄 , 贾科莫·多梅尼科尼 :
通过神经语言模型探索软件的自然性。 CoRR公司 abs/2006.12641 ( 2020 ) [i6] 郑云辉 , 萨希勒·苏内加 , 余凡庄 , 亚历山德罗·莫拉里 , 吉姆·拉雷多 :
通过预测保持输入最小化探测模型信号意识。 CoRR公司 abs/2011.14934 ( 2020 )
2010 – 2019
2019 [公元28年] 王伟航(Weihang Wang) , I Luk Kim先生 , 郑云辉 :
调整:资源滥用第三方在线广告的运行时缓解。 集成电路 2019 : 1005-1015 2018 [公元27年] 德米特里·布洛茨基 , 费德里科·莫拉 , 墨菲·贝尔齐什 , 郑云辉 , 伊法兹·卡比尔 , 维杰·加内什 :
StringFuzz:字符串解算器的Fuzzer。 CAV(2) 2018 : 45-51 [公元26年] I Luk Kim先生 , 王伟航(Weihang Wang) , 永威权 , 郑云辉 , 尤斯拉·阿费尔 , 孟伟杰 , 张湘玉 :
AdBudgetKiller:在线广告预算消耗攻击。 万维网 2018 : 297-307 2017 [j3] 郑云辉 , 维杰·加内什 , 萨努·苏布拉马尼亚 , Omer跳闸 , 墨菲·贝尔齐什 , 朱利安·杜比 , 张湘玉 :
Z3str2:字符串、正则表达式和长度约束的高效求解器。 形式方法系统。 设计。 50 ( 2-3 ) : 249-288 ( 2017 ) [公元25年] 墨菲·贝尔齐什 , 维杰·加内什 , 郑云辉 :
Z3str3:一个具有理论意识启发式的字符串求解器。 FMCAD公司 2017 : 55-59 [公元24年] 张伟(音译) , 冯敏伟 , 郑云辉 , 任玉飞 , 王延东 , 吉柳(Ji Liu) , 刘鹏(音) , 冰香 , 李章 , 周伯文(Bowen Zhou) , 王飞(音译) :
GaDei:关于扩大培训作为深度学习的服务。 ICDM公司 2017 : 1195-1200 【c23】 埃里克·维特恩 , 安妮·T·英 , 郑云辉 , 吉姆·阿兰·拉雷多 , 朱利安·杜比 , 克里斯托弗·C·杨 , 亚历山大·斯洛明斯基 :
Web API消费的软件工程研究机会。 WAPI@ICSE 2017 : 7-10 [公元22年] 埃里克·维特恩 , 安妮·T·英 , 郑云辉 , 朱利安·杜比 , 吉姆·阿兰·拉雷多 :
静态检查JavaScript中的web API请求。 集成电路 2017 : 244-254 【c21】 刘鹏(音) , 张湘玉 , 马可·皮斯托亚 , 郑云辉 , Manoel品牌 , 曾玲菲 :
用于移动测试的自动文本输入生成。 集成电路 2017 : 643-653 [公元20年] 永威权 , 王伟航 , 郑云辉 , 张湘玉 , 徐东燕 :
CPR:通过独立于平台的跟踪程序实现跨平台二进制代码重用。 ISSTA公司 2017 : 158-169 [第19条] 王伟航(Weihang Wang) , 永威权 , 郑云辉 , 尤斯拉·阿费尔 , I Luk Kim先生 , 李文川 , 刘英奇 , 孟伟杰 , 张湘玉 , 帕特里克·尤格斯特 :
PAD:编程第三方网络广告审查。 ASE公司 2017 : 240-251 [第18条] 金京泰 , I Luk Kim先生 , 郑焕金(Chung Hwan Kim) , 永威权 , 郑云辉 , 张湘玉 , 徐东燕 :
J-Force:在JavaScript上强制执行。 万维网 2017 : 897-906 [i5] 埃里克·维特恩 , 安妮·T·英 , 郑云辉 , 朱利安·杜比 , 吉姆·阿兰·拉雷多 :
静态检查JavaScript中的Web API请求。 CoRR公司 abs/1702.03906 ( 2017 ) [i4] 墨菲·贝尔齐什 , 郑云辉 , 维杰·加内什 :
Z3str3:带理论软件分支的字符串解算器。 CoRR公司 abs/1704.07935 ( 2017 ) [i3] 埃里克·维特恩 , 安妮·T·英 , 郑云辉 , 吉姆·阿兰·拉雷多 , 朱利安·杜比 , 克里斯托弗·C·杨 , 亚历山大·斯洛明斯基 :
Web API消费的软件工程研究机会。 CoRR公司 abs/1705.06586 ( 2017 ) 2016 [c17] 郝孙 , 张湘玉 , 郑云辉 , 曾庆凯 :
IntEQ:通过跨多个精度的等价检查识别良性整数溢出。 集成电路 2016 : 1051-1062 [第16条] 王伟航(Weihang Wang) , 郑云辉 , 刘鹏(音) , 雷旭 , 张湘玉 , 帕特里克·尤格斯特 :
箭头:自动修复客户端网页上的比赛。 ISSTA公司 2016 : 201-212 [第15条] 王伟航(Weihang Wang) , 郑云辉 , 新余星 , 永威权 , 张湘玉 , 帕特里克·托·尤格斯特 :
WebRanz:网页随机化以更好地传递广告和防止网络攻击。 SIGSOFT FSE公司 2016 : 205-216 [i2] 萨努·苏布拉曼尼亚语 , 墨菲·贝尔齐什 , 郑云辉 , Omer跳闸 , 维杰·加内什 :
字符串和位向量理论的求解器。 CoRR公司 abs/1605.09446 ( 2016 ) [i1] 张伟(音译) , 冯敏伟 , 郑云辉 , 任玉飞 , 王延东 , 吉柳(Ji Liu) , 刘鹏(音) , 冰香 , 李章 , 周伯文(Bowen Zhou) :
GaDei:关于扩大培训作为深度学习的服务。 CoRR公司 腹肌/1611.06213 ( 2016 ) 2015 [第14条] 郑云辉 , 维杰·加内什 , 萨努·苏布拉曼尼亚语 , Omer跳闸 , 朱利安·杜比 , 张湘玉 :
字符串方程、正则表达式和长度约束解算器的有效搜索空间修剪。 CAV(1) 2015 : 235-254 [第13条] 李文川 , 淘宝 , 郑云辉 , 张湘玉 , 凯瓦尔·沃拉 , 拉吉夫·古普塔 :
RAIVE:通过矢量化对浮点不稳定性进行运行时评估。 OOPSLA公司 2015 : 623-638 [第12条] 刘鹏(音) , 张湘玉 , Omer跳闸 , 郑云辉 :
轻:通过严格限制的录音重播。 PLDI公司 2015 : 55-64 2014 【b1】 郑云辉 :
web应用程序的路径敏感静态程序分析。 美国普渡大学, 2014 [第11条] 邹云霄 , 陈振宇 , 郑云辉 , 张湘玉 , 泽宝高 :
虚拟DOM覆盖范围,用于有效测试动态web应用程序。 ISSTA公司 2014 : 60-70 2013 [第10条] 郑云辉 , 张湘玉 :
用于远程代码执行漏洞检测的web应用程序的路径敏感静态分析。 集成电路 2013 : 652-661 【c9】 郑云辉 , 张湘玉 , 维杰·加内什 :
Z3-str:用于web应用程序分析的基于Z3的字符串解算器。 ESEC/SIGSOFT FSE 2013 : 114-124 2012 [注2] 威廉·萨姆纳 , 郑云辉 , Dasarath Weeratunge公司 , 张湘玉 :
精确调用上下文编码。 IEEE传输。 软件工程。 38 ( 5 ) : 1160-1177 ( 2012 ) 【c8】 郑云辉 , 张湘玉 :
服务器端脚本中资源争用问题的静态检测。 集成电路 2012 : 584-594 【c7】 淘宝 , 郑运辉 , 张湘玉 :
通过程序分析实现的不确定数据处理中的白盒采样。 OOPSLA公司 2012 : 897-914 2011 【c6】 Kyu Hyung Lee(李奎亨) , 郑云辉 , 尼克·萨姆纳 , 张湘玉 :
生成可简化的重播日志。 PLDI公司 2011 : 246-257 【c5】 郑云辉 , 淘宝 , 张湘玉 :
静态定位由异步调用引起的web应用程序错误。 万维网 2011 : 805-814 2010 【c4】 威廉·N·萨姆纳 , 郑云辉 , Dasarath周末 , 张湘玉 :
精确的调用上下文编码。 ICSE(1) 2010 : 525-534 【c3】 菲利普·达布尼 , 大卫·J·哈丁 , 詹姆斯·阿布希尔 , 蒂姆·胡斯 , 加布里埃尔·乔多 , 罗曼·马詹 , 乔·马尔佐克 , 库尔特·拉什 , 安东尼奥斯海洋 , 克里斯托弗·舒曼 , 孙晓丽 , 苏珊·瓦莱特 , 阿列克西·瓦西利耶夫 , 安东尼·W·余 , 郑运辉 :
斜坡成像多极化光子计数激光雷达:发展和性能结果。 IGARSS公司 2010 : 653-656 【c2】 淘宝 , 郑云辉 , 林志强 , 张湘玉 , 徐东燕 :
严格的控制依赖及其对动态信息流分析的影响。 ISSTA公司 2010 : 13-24
2000 – 2009
2007 [j1] 郑云辉 , 大卫·J·布雷迪 , 潘卡杰·K·阿加瓦尔 :
使用边界传感器进行定位:基于图论的分析。 ACM事务处理。 传感器网络 三 ( 4 ) : 21 ( 2007 ) 【c1】 郑云辉 , 张文林 , 王跃超 , 宁溪 :
使用混合Q学习的遥操作人机交互中基于事件的自适应策略协调。 ROBIO公司 2007 : 291-296