青凯石
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j8] 黄鹤庆 , 洪春秋 , 青凯石 , 姚培森 , 查尔斯·张 :
通过蒙特卡罗规划平衡种子调度。 IEEE传输。 可靠的安全。 计算。 21 ( 三 ) : 1469-1483 ( 2024 ) [j7] 新蒙霞 , 杨峰 , 青凯石 , 詹姆斯·琼斯 , 张湘玉 , 徐宝文 :
枚举用于解释器测试的有效非Alpha等效程序。 ACM事务处理。 柔和。 工程方法。 33 ( 5 ) : 118:1-118:31 ( 2024 ) [公元28年] 吴荣新 , 何宇轩 , 黄家峰 , 王承鹏 , 文生堂 , 青凯石 , 肖肖 , 查尔斯·张 :
LibAlchemy:一个用于在静态错误查找系统中驯服第三方库的两层持久摘要设计。 集成电路 2024 : 105:1-105:13 2023 [j6] 王承鹏 , 王文阳(Wenyang Wang) , 姚培森 , 青凯石 , 周金国 , 肖肖 , 查尔斯·张 :
锚:通过记忆定向对容器进行快速准确的价值流分析。 ACM事务处理。 柔和。 工程方法。 32 ( 三 ) : 66:1-66:39 ( 2023 ) [公元27年] 青凯石 , 邵俊阳 , 叶亚鹏 , 郑明伟 , 张湘玉 :
将网络协议实现提升到安全应用程序的精确格式规范。 CCS系统 2023 : 1287-1301 [公元26年] 徐香泽 , 冯世伟(Shiwei Feng) , 叶亚鹏 , 沈广宇 , 苏子安 , 思源城 , 陶冠宏 , 青凯石 , 卓章 , 张湘玉 :
通过语义驱动指令去加重改进二进制代码相似性变换器模型。 ISSTA公司 2023 : 1106-1118 [公元25年] 新蒙霞 , 杨峰 , 青凯石 :
了解Rust编译器中的Bug。 QRS(QRS) 2023 : 138-149 [公元24年] 徐香泽 , 周璇 , 冯世伟(Shiwei Feng) , 思源城 , 叶亚鹏 , 青凯石 , 陶冠宏 , 乐余 , 卓章 , 张湘玉 :
PEM:通过概率执行模型表示用于相似性分析的二进制程序语义。 ESEC/SIGSOFT FSE 2023 : 401-412 【c23】 叶亚鹏 , 卓章 , 青凯石 , 尤斯拉·阿费尔 , 张湘玉 :
D-ARM:通过轻量级超集指令解释和图形建模反汇编ARM二进制文件。 服务提供商 2023 : 2391-2408 [公元22年] 青凯石 , 徐香泽 , 张湘玉 :
通过受控静态循环分析将协议格式提取为状态机。 USENIX安全研讨会 2023 : 7019-7036 [i8] 青凯石 , 邵俊阳 , 叶亚鹏 , 郑明伟 , 张湘玉 :
将网络协议实现提升到安全应用程序的精确格式规范。 CoRR公司 腹肌/2305.11781 ( 2023 ) [i7] 青凯石 , 徐香泽 , 张湘玉 :
通过受控静态循环分析将协议格式提取为状态机。 CoRR公司 abs/2305.13483 ( 2023 ) [i6] 徐香泽 , 周璇 , 冯世伟(Shiwei Feng) , 思源城 , 叶亚鹏 , 青凯石 , 陶冠宏 , 乐余 , 卓章 , 张湘玉 :
PEM:通过概率执行模型表示用于相似性分析的二进制程序语义。 CoRR公司 abs/2308.15449 ( 2023 ) 2022 [j5] 王承鹏 , 姚培森 , 文生堂 , 青凯石 , 查尔斯·张 :
以复杂性为导向的容器更换综合。 程序。 ACM计划。 语言。 6 ( OOPSLA1公司 ) : 1-31 ( 2022 ) 【j4】 青凯石 , 王永超 , 姚培森 , 查尔斯·张 :
索引扩展的Dyck-CFL可达性,用于上下文敏感程序分析。 程序。 ACM计划。 语言。 6 ( OOPSLA2公司 ) : 1438-1468 ( 2022 ) 【c21】 郭一元 , 周金国 , 姚培森 , 青凯石 , 查尔斯·张 :
具有确凿证据的精确分零检测。 集成电路 2022 : 1718-1729 [公元20年] 蔡元岛 , 叶成峰 , 青凯石 , 查尔斯·张 :
Peahen:通过上下文缩减快速准确地检测静态死锁。 ESEC/SIGSOFT FSE 2022 : 784-796 [第19条] 黄鹤庆 , 郭一元 , 青凯石 , 姚培森 , 吴荣新 , 查尔斯·张 :
信标:带可证明路径修剪的定向灰盒模糊。 服务提供商 2022 : 36-50 2021 [j3] 姚培森 , 青凯石 , 黄鹤庆 , 查尔斯·张 :
通过有效的符号抽象进行程序分析。 程序。 ACM计划。 语言。 5 ( OOPSLA公司 ) : 1-32 ( 2021 ) [第18条] 姚培森 , 黄鹤庆 , 文生堂 , 青凯石 , 吴荣新 , 查尔斯·张 :
通过二维输入空间探索模糊SMT解算器。 ISSTA公司 2021 : 322-335 [第17条] 青凯石 , 姚培森 , 吴荣新 , 查尔斯·张 :
无路径条件的路径敏感稀疏分析。 PLDI公司 2021 : 930-943 [第16条] 姚培森 , 黄鹤庆 , 文生堂 , 青凯石 , 吴荣新 , 查尔斯·张 :
用于SMT解算器测试的骨架近似枚举。 ESEC/SIGSOFT FSE 2021 : 1141-1153 [i5] 青凯石 , 王永超 , 查尔斯·张 :
索引上下文敏感的可达性。 CoRR公司 腹肌/2109.01321 ( 2021 ) [i4] 姚培森 , 周金国 , 肖肖 , 青凯石 , 吴荣新 , 查尔斯·张 :
高效的路径敏感数据依赖性分析。 CoRR公司 abs/2109.07923 ( 2021 ) 2020 [第15条] 青凯石 , 吴荣新 , 帮派(Gang Fan) , 查尔斯·张 :
克服价值流分析框架的扩展可伸缩性问题。 集成电路 2020 : 812-823 [第14条] 青凯石 , 查尔斯·张 :
管道化自下而上的数据流分析。 集成电路 2020 : 835-847 [第13条] 姚培森 , 青凯石 , 黄鹤庆 , 查尔斯·张 :
快速位向量可满足性。 ISSTA公司 2020 : 38-50 [第12条] 杨峰 , 青凯石 , 新余高 , Jun Wan先生 , 方春荣 , 陈振宇 :
DeepGini:优先进行大规模测试,以增强深度神经网络的稳健性。 ISSTA公司 2020 : 177-188 [第11条] 帮派(Gang Fan) , 王承鹏 , 吴荣新 , 肖肖 , 青凯石 , 查尔斯·张 :
逃离依赖项地狱:使用统一依赖关系图查找生成依赖项错误。 ISSTA公司 2020 : 463-474 [第10条] 方春荣 , 刘子熙 , 杨阳石 , 黄立成 , 青凯石 :
基于语法和语义融合学习的功能代码克隆检测。 ISSTA公司 2020 : 516-527 【c9】 钱瑞祥 , 袁钊(音) , Duo Men公司 , 杨峰 , 青凯石 , 黄勇 , 陈振宇 :
基于分层覆盖过滤的测试推荐系统。 ISSTA公司 2020 : 573-576 【c8】 黄鹤庆 , 姚培森 , 吴荣新 , 青凯石 , 查尔斯·张 :
穿山甲:带有多面体路径抽象的增量混合模糊。 服务提供商 2020 : 1613-1627
2010 – 2019
2019 【c7】 帮派(Gang Fan) , 吴荣新 , 青凯石 , 肖肖 , 周金国 , 查尔斯·张 :
Smoke:可扩展的路径敏感内存泄漏检测,用于数百万行代码。 集成电路 2019 : 72-82 【c6】 张旭凡 , 紫月音 , 杨峰 , 青凯石 , 贾刘 , 陈振宇 :
NeuralVis:可视化和解释深度学习模型。 ASE公司 2019 : 1106-1109 [i3] 青凯石 , Jun Wan先生 , 杨峰 , 方春荣 , 陈振宇 :
DeepGini:优先进行大规模测试以降低标签成本。 CoRR公司 abs/1903.00661 ( 2019 ) [i2] 张旭凡 , 紫月音 , 杨峰 , 青凯石 , 贾刘 , 陈振宇 :
NeuralVis:可视化和解释深度学习模型。 CoRR公司 abs/1906.00690 ( 2019 ) [i1] 青凯石 , 吴荣新 , 帮派(Gang Fan) , 查尔斯·张 :
克服价值流分析框架的可扩展性问题。 CoRR公司 abs/1912.06878 ( 2019 ) 2018 【c5】 青凯石 , 肖肖 , 吴荣新 , 周金国 , 帮派(Gang Fan) , 查尔斯·张 :
精确定位:对数百万行代码进行快速准确的稀疏值流分析。 PLDI公司 2018 : 693-706 2017 【c4】 方春荣 , 青凯石 , 杨峰 , 刘子聪 , 张晓芳 , 徐宝文 :
基于烟尘的谓词解释分析。 瑞典克朗 2017 : 278-282 【c3】 方春荣 , 杨峰 , 青凯石 , 刘子聪 , 李树英 , 徐宝文 :
故障干扰和耦合效应。 瑞典克朗 2017 : 501-506 2016 [注2] 青凯石 , 陈振宇 , 方春荣 , 杨峰 , 徐宝文 :
用距离熵测量测试集的多样性。 IEEE传输。 Reliab公司。 65 ( 1 ) : 19-27 ( 2016 ) [j1] 青凯石 , 黄立成 , 陈振宇 , 徐宝文 :
验证原子性冲突修复的同步。 IEEE传输。 软件工程。 42 ( 三 ) : 285-301 ( 2016 ) 2014 【c2】 刘子聪 , 陈振宇 , 方春荣 , 青凯石 :
混合测试数据生成。 ICSE伴侣 2014 : 630-631 【c1】 杨浩宇 , 陈旺 , 青凯石 , 杨峰 , 陈振宇 :
错误诱导分析以防止容易出错的错误修复。 瑞典克朗 2014 : 620-625
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)