格雷戈里·杜克
人员信息
其他同名人员
优化列表
2020年–今天
2024 [c27] 迪伦·沃尔夫 , 郑实 , 格雷戈里·杜克 , 乌芒·马图尔 , 阿比克·罗伊乔杜里 :
并发测试的灰盒模糊。 ASPLOS(2) 2024 : 482-498 [公元26年] 里德万·谢里夫丁 , 亚尼克·诺勒 , 马丁·米尔切夫 , 阮海峰 , 向高 , 安德烈亚·科斯蒂亚 , 格雷戈里·杜克 , 阿比克·罗伊乔杜里 :
2024年计划维修竞赛。 四月 2024 : 46-49 [i11] 孟瑞杰(Ruijie Meng) , 格雷戈里·杜克 , 阿比克·罗伊乔杜里 :
程序环境模糊。 CoRR公司 abs/2404.13951 ( 2024 ) [i10] 格雷戈里·杜克 , 西达瓦尔法耶 , 罗兰·H·C·叶 , 特雷弗·E·卡尔森 :
完全随机指针。 CoRR公司 abs/2405.12513 ( 2024 ) 2023 [第九章] 张云桐 , 里德万·谢里夫丁 , 格雷戈里·杜克 , 贾其坦 , 阿比克·罗伊乔杜里 :
通过对补丁和输入空间进行模糊处理来修复程序。 CoRR公司 abs/2308.00666 ( 2023 ) 2022 [公元25年] 袁成江 , 格雷戈里·杜克 , 罗兰·H·C·叶 , 梁振凯 , 平海苑 :
可扩展虚拟呼叫完整性。 ESORICS(三) 2022 : 723-739 [公元24年] 格雷戈里·杜克 , 张云桐 , 罗兰·H·C·叶 :
针对更多内存错误强化二进制文件。 欧洲系统 2022 : 117-131 【c23】 张云桐 , 向高 , 格雷戈里·杜克 , 阿比克·罗伊乔杜里 :
通过归纳推理修复程序漏洞。 ISSTA公司 2022 : 691-702 [公元22年] 金圣巴 , 格雷戈里·杜克 , 阿比克·罗伊乔杜里 :
高效的灰盒模糊检测内存错误。 酶 2022 : 37:1-37:12 [i8] 金圣巴 , 格雷戈里·杜克 , 阿比克·罗伊乔杜里 :
快速模糊记忆错误。 CoRR公司 abs/2204.02773 ( 2022 ) 2021 [j6] 向高 , 王波(Bo Wang) , 格雷戈里·杜克 , 如意记 , 熊英飞 , 阿比克·罗伊乔杜里 :
超越测试:通过崩溃约束提取修复程序漏洞。 ACM事务处理。 柔和。 工程方法。 30 ( 2 ) : 14:1-14:27 ( 2021 ) 【c21】 里德万·谢里夫丁 , 向高 , 格雷戈里·杜克 , 陈信伟 , 朱莉娅·劳尔 , 阿比克·罗伊乔杜里 :
Linux中的自动补丁反向移植(经验文件)。 ISSTA公司 2021 : 633-645 [公元20年] 向高 , 格雷戈里·杜克 , 阿比克·罗伊乔杜里 :
用E9AFL实现程序二进制的可扩展模糊。 酶 2021 : 1247-1251 2020 [第19条] 格雷戈里·杜克 , 向高 , 阿比克·罗伊乔杜里 :
无控制流恢复的二进制重写。 PLDI公司 2020 : 151-163
2010 – 2019
2018 [j5] 格雷戈里·杜克 , 佐克森·贾法尔 , 罗兰·H·C·叶 :
基于图形的数据结构的形状中性分析。 理论与实践。 日志。 程序。 18 ( 3-4 ) : 470-483 ( 2018 ) [第18条] 格雷戈里·杜克 , 罗兰·H·C·叶 :
EffectiveSan:使用动态类型的C/C++进行类型和内存错误检测。 PLDI公司 2018 : 181-195 [i7] 格雷戈里·杜克 , 罗兰·H·C·叶 :
扩展的低脂分配器API和应用程序。 CoRR公司 abs/1804.04812 ( 2018 ) [i6] 格雷戈里·杜克 , 佐克森·贾法尔 , 罗兰·H·C·叶 :
基于图形的数据结构的形状中性分析。 CoRR公司 abs/1804.09352 ( 2018 ) 2017 [c17] 格雷戈里·杜克 , 罗兰·H·C·叶 , 洛伦佐·卡瓦拉罗 :
使用低脂指针保护堆栈边界。 NDSS公司 2017 [i5] 格雷戈里·杜克 , 罗兰·H·C·叶 :
EffectiveSan:使用动态类型的C/C++进行类型和内存错误检测。 CoRR公司 abs/1710.06125 ( 2017 ) 2016 [第16条] 格雷戈里·杜克 , 罗兰·H·C·叶 :
堆边界保护与低脂指针。 科科斯群岛 2016 : 132-142 2014 [j4] 格雷戈里·杜克 , 雷米·海默尔 , 马丁·苏尔兹曼 :
基于CHR的终止、融合和一致类型推断。 理论与实践。 日志。 程序。 14 ( 4-5 ) : 619-632 ( 2014 ) [i4] 格雷戈里·杜克 , 雷米·海默尔 , 马丁·苏尔兹曼 :
基于CHR的终止、融合和一致类型推断。 CoRR公司 abs/1405.3393 ( 2014 ) 2013 [第15条] 格雷戈里·杜克 , 佐克森·贾法尔 , 尼古拉斯·C·H·高 :
具有堆和分离的基于约束的程序推理。 人物配对关系 2013 : 282-298 [第14条] 格雷戈里·詹姆斯·杜克 :
可满足性模约束处理规则(扩展抽象)。 国际JCAI 2013 : 2997-3001 2012 [j3] 格雷戈里·杜克 :
SMCHR:可满足模约束处理规则。 理论与实践。 日志。 程序。 12 ( 4-5 ) : 601-618 ( 2012 ) [i3] 格雷戈里·杜克 :
SMCHR:可满足性模约束处理规则。 CoRR公司 abs/1210.5307 ( 2012 )
2000 – 2009
2009 [第13条] 莱斯利·德科宁克 , 格雷戈里·杜克 , 彼得·J·斯塔基 :
ACD术语重写的需求驱动规范化。 ICLP公司 2009 : 484-488 2008 [第12条] 莱斯利·德科宁克 , 彼得·J·斯塔基 , 格雷戈里·杜克 :
使用规则优先级优化CHR的编译。 FLOPS(浮动) 2008 : 32-47 [第11条] 格雷戈里·杜克 , 莱斯利·德科宁克 , 彼得·J·斯塔基 :
镉:ACD术语重写的实现。 ICLP公司 2008 : 531-545 [第10条] 塞巴斯蒂安品牌 , 格雷戈里·杜克 , 雅各布·普钦格 , 彼得·J·斯塔基 :
灵活、基于规则的约束模型线性化。 PADL(PADL) 2008 : 68-83 2007 [注2] 马丁·苏尔兹曼 , 格雷戈里·杜克 , 西蒙·佩顿·琼斯 , 彼得·J·斯塔基 :
通过约束处理规则了解函数依赖性。 J.功能。 程序。 17 ( 1 ) : 83-129 ( 2007 ) 【c9】 尼古拉斯·奈瑟科特 , 彼得·J·斯塔基 , 拉尔夫·贝克特 , 塞巴斯蒂安品牌 , 格雷戈里·杜克 , Guido塔克 :
MiniZin:走向标准CP建模语言。 人物配对关系 2007 : 529-543 【c8】 格雷戈里·杜克 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
约束处理规则的可观察汇流。 ICLP公司 2007 : 224-239 2006 【c7】 格雷戈里·杜克 , 彼得·J·斯塔基 , 塞巴斯蒂安品牌 :
ACD术语重写。 ICLP公司 2006 : 117-131 [i2] 格雷戈里·杜克 , 彼得·J·斯塔基 , 塞巴斯蒂安品牌 :
ACD术语重写。 CoRR公司 abs/cs/0608016 ( 2006 ) 2005 [j1] 克里斯蒂安·霍尔兹鲍尔 , 玛丽亚·加西亚·德拉班达 , 彼得·J·斯塔基 , 格雷戈里·杜克 :
优化HAL中约束处理规则的编译。 理论与实践。 日志。 程序。 5 ( 4-5 ) : 503-531 ( 2005 ) 【c6】 汤姆·施里杰弗斯 , 彼得·J·斯塔基 , 格雷戈里·杜克 :
约束处理规则的抽象解释。 PPDP(PPDP) 2005 : 218-229 【c5】 汤姆·施里杰弗斯 , 巴特·德梅恩 , 格雷戈里·杜克 , 彼得·斯塔基 , Thom W.Frühwirth先生 :
CHR约束的自动含义检查。 规则@RDP 2005 : 93-111 2004 【c4】 格雷戈里·杜克 , 西蒙·佩顿·琼斯 , 彼得·J·斯塔基 , 马丁·苏尔兹曼 :
函数依赖关系的合理和可判定类型推理。 员工持股计划 2004 : 49-63 【c3】 格雷戈里·杜克 , 彼得·J·斯塔基 , 玛丽亚·加西亚·德拉班达 , 克里斯蒂安·霍尔兹堡 :
约束处理规则的精炼操作语义。 ICLP公司 2004 : 90-104 [c2] 格雷戈里·杜克 , 玛丽亚·加西亚·德拉班达 , 彼得·J·斯塔基 :
编译询问约束。 ICLP公司 2004 : 105-119 [i1] 克里斯蒂安·霍尔兹鲍尔 , 玛丽亚·加西亚·德拉班达 , 彼得·J·斯塔基 , 格雷戈里·杜克 :
优化HAL中约束处理规则的编译。 CoRR公司 反恐精英。 PL/0408025 ( 2004 ) 2003 【c1】 格雷戈里·杜克 , 彼得·J·斯塔基 , 玛丽亚·加西亚·德拉班达 , 克里斯蒂安·霍尔兹鲍尔 :
使用约束处理规则扩展任意解算器。 PPDP(PPDP) 2003 : 79-90