彼得·科林伯恩
人员信息
附属: 谷歌 从属关系(2013年博士): 英国伦敦帝国理工学院
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 [i1] 雷蒙达斯·萨斯诺斯卡斯 , 杨晨 , 彼得·科林伯恩 , 杰伦·凯特马 , 朱比·塔内加 , 约翰·雷格尔 :
Souper:合成超级优化器。 CoRR公司 腹肌/1711.04422 ( 2017 ) 2014 [j1] 彼得·科林伯恩 , 克里斯蒂安·卡达尔 , 保罗·H·J·凯利 :
数据并行浮点代码的符号交叉检查。 IEEE传输。 软件工程。 40 ( 7 ) : 710-737 ( 2014 ) 【c6】 埃塞尔·巴兹利 , 亚当·贝茨 , 内森·冲(Nathan Chong) , 彼得·科林伯恩 , 德利吉安人 , 阿拉斯泰尔·唐纳森 , 杰伦·凯特马 , 丹尼尔·刘 , 沙兹·卡迪尔 :
为GPU内核设计一个静态验证工具。 CAV汽车 2014 : 226-242 【c5】 卡罗琳·蒂斯 , 汤姆·罗德 , 彼得·科林伯恩 , 斯蒂芬·切考韦(Stephen Checkoway) , 阿尔林森村 , 路易斯·洛扎诺 , 乔治·柏历 :
在GCC和LLVM中实施前边缘控制流完整性。 USENIX安全研讨会 2014 : 941-955 2013 【b1】 彼得·赛鲁斯·科林伯恩 :
数据并行浮点代码的符号交叉检查。 英国伦敦帝国理工学院, 2013 【c4】 彼得·科林伯恩 , 阿拉斯泰尔·唐纳森 , 杰伦·凯特马 , 沙兹·卡迪尔 :
用于GPU内核分析和验证的交错和锁步语义。 员工持股计划 2013 : 270-289 2011 【c3】 彼得·科林伯恩 , 克里斯蒂安·卡达尔 , 保罗·H·J·凯利 :
浮点和SIMD代码的符号交叉检查。 欧洲系统 2011 : 315-328 【c2】 彼得·科林伯恩 , 克里斯蒂安·卡达尔 , 保罗·H·J·凯利 :
OpenCL代码的符号测试。 海法核查会议 2011 : 203-218
2000 – 2009
2008 【c1】 彼得·科林伯恩 , 保罗·H·J·凯利 :
从控制流推断会话类型。 FESCA@ETAPS 2008 : 15-40
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)