曹家伦
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [c13] 廖水英 , 丁玉娟 , P.Y.Mok先生 , 黄秋石 , 曹家伦 :
再现性配套论文:通过模拟间接个人兼容性来推荐混搭服装。 国际资本市场规则 2024 : 1224-1227 [i7] 曹家伦 , 吴起张 , Shing-Chi Cheung先生 :
担心数据污染? 评估代码语言模型中的对策。 CoRR公司 abs/2403.16898 ( 2024 ) [i6] 程文 , 曹家伦 , 杰苏 , 徐志武 , 秦胜超 , 蒙大河 , 李浩坤 , Shing-Chi Cheung先生 , 丛天 :
使用静态分析和程序验证通过大型语言模型进行迷人的程序规范合成。 CoRR公司 abs/2404.00762 ( 2024 ) 2023 [注2] 李美子牛 , 曹嘉伦 , 田永强 , 李泽安(Tsz On Li) , 明文 , Shing-Chi Cheung先生 :
COMET:深度学习库测试的覆盖引导模型生成。 ACM事务处理。 柔和。 工程方法。 32 ( 5 ) : 127:1-127:34 ( 2023 ) [第12条] 曹家伦 , 姚杰路 , 明文 , Shing-Chi Cheung先生 :
在没有标记测试集的情况下测试Coreference Resolution Systems。 ESEC/SIGSOFT FSE 2023 : 107-119 [第11条] 杜晓虎 , 小陈 , 曹家伦 , 明文 , Shing-Chi Cheung先生 , 海金 :
了解联合学习系统的错误特征和修复策略。 ESEC/SIGSOFT FSE 2023 : 1358-1370 [i5] 曹家伦 , 李美子牛 , 明文 , Shing-Chi Cheung先生 :
深度学习程序修复ChatGPT的即时设计、优点和局限性研究。 CoRR公司 腹肌/2304.08191 ( 2023 ) 2022 [j1] 曹家伦 , 李美子牛 , 李叶亭 , 明文 , Shing-Chi Cheung先生 , 陈海明(Haiming Chen) :
SemMT:一种基于语义的机器翻译系统测试方法。 ACM事务处理。 柔和。 工程方法。 31 ( 2 ) : 34秒:1-34秒:36秒 ( 2022 ) [第10条] 曹家伦 , 李美子牛 , 小陈 , 明文 , 田永强 , 吴波 , Shing-Chi Cheung先生 :
DeepFD:深度学习程序的自动故障诊断和定位。 ICSE公司 2022 : 573-585 【c9】 李叶婷 , 孙叶成 , 徐志武 , 曹家伦 , 李月康 , 李荣晨 , 陈海明(Haiming Chen) , Shing-Chi Cheung先生 , 杨柳 , 杨晓 :
Regex手术刀:本地化和修复的正则表达式拒绝服务(ReDoS)防御。 USENIX安全研讨会 2022 : 4183-4200 [i4] 曹家伦 , 李美子牛 , 小陈 , 明文 , 田永强 , 吴波 , Shing-Chi Cheung先生 :
DeepFD:深度学习程序的自动故障诊断和定位。 CoRR公司 abs/2205.01938 ( 2022 ) [i3] 李美子牛 , 曹家伦 , 田永强 , 李子安 , 明文 , Shing-Chi Cheung先生 :
备忘录:深度学习库测试的覆盖指导模型生成。 CoRR公司 abs/2208.01508 ( 2022 ) 2021 【c8】 李叶亭 , 李帅民 , 徐志武 , 曹嘉伦 , 陈子轩 , 云虎 , 陈海明(Haiming Chen) , Shing-Chi Cheung先生 :
TRANSREGEX:通过生成和修复的多模式正则表达式合成。 ICSE公司 2021 : 1210-1222 【c7】 李叶亭 , 陈子轩 , 曹嘉伦 , 徐志武 , 钱承鹏 , 陈海明(Haiming Chen) , 陈丽媛 , Shing-Chi Cheung先生 :
ReDoSHunter:用于正则表达式DoS检测的静态和动态组合方法。 USENIX安全研讨会 2021 : 3847-3864 2020 【c6】 李叶亭 , 曹家伦 , 陈海明(Haiming Chen) , 丁健阁 , 徐志武 , 钱承鹏 :
FlashSchema:利用强大的推理算法和大规模模式数据实现高质量的XML模式。 集成电路驱动单元 2020 : 1962-1965 [c5] 李叶亭 , 徐志武 , 曹家伦 , 陈海明(Haiming Chen) , 丁健阁 , Shing-Chi Cheung先生 , 赵浩仁 :
FlashRegex:从示例中推断反ReDoS Regex。 ASE公司 2020 : 659-671 [i2] 曹家伦 , 李美子牛 , 李叶亭 , 明文 , Shing-Chi Cheung先生 :
SemMT:一种基于语义的机器翻译系统测试方法。 CoRR公司 abs/2012.01815 ( 2020 ) [i1] 李叶亭 , 李帅民 , 徐志武 , 曹嘉伦 , 陈子轩 , 云虎 , 陈海明(Haiming Chen) , Shing-Chi Cheung先生 :
TransRegex:通过生成和修复的多模式正则表达式合成。 CoRR公司 abs/2012.15489 ( 2020 )
2010 – 2019
2019 【c4】 李叶亭 , 张晓兰 , 曹家伦 , 陈海明(Haiming Chen) , 冲高 :
使用交错学习k-Occurrence正则表达式。 DASFAA(2) 2019 : 70-85 【c3】 李永健 , 曹家伦 , 彭军(Jun Pang) :
基于学习的自动参数化验证框架。 ICCD公司 2019 : 450-459 2018 【c2】 曹家伦 , 李永健 , 彭军(Jun Pang) :
L-CMP:一种基于自动学习的参数化验证工具。 ASE公司 2018 : 892-895 【c1】 李永健 , 曹家伦 , 段开强 :
FLASH缓存一致性协议的自动参数化验证。 QRS(QRS) 2018 : 47-58
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)