丹尼尔·刘
人员信息
其他同名人员
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2019 【c4】 丹尼尔·刘 , 克里斯蒂安·卡达尔 , 阿拉斯泰尔·唐纳森 , J.瑞安·斯汀奈特 :
只是模糊化:使用覆盖引导模糊化解决浮点约束。 ESEC/SIGSOFT FSE 2019 : 521-532 2017 【b1】 丹尼尔·刘 :
验证语言和浮点代码的符号执行。 英国伦敦帝国理工学院, 2017 【c3】 丹尼尔·刘 , 丹尼尔·施梅尔 , 克里斯蒂安·卡达尔 , 阿拉斯泰尔·唐纳森 , 拉斐尔·泽尔 , 克劳斯·韦尔 :
浮点符号执行:n版本编程中的一个案例研究。 ASE公司 2017 : 601-612 2016 【c2】 丹尼尔·刘 , 克里斯蒂安·卡达尔 , 阿拉斯泰尔·唐纳森 :
Symbooglix:Boogie程序的符号执行引擎。 ICST公司 2016 : 45-56 2015 [电子1] 克劳迪娅·舒尔茨 , 丹尼尔·刘 :
2015年帝国理工学院计算机专业学生研讨会,ICCSW,2015年9月24日至25日,英国伦敦。 OASIcs公司 49, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2015 ,国际标准图书编号 978-3-95977-000-2 [目录] 2014 【c1】 埃塞尔·巴兹利 , 亚当·贝茨 , 内森·冲(Nathan Chong) , 彼得·科林伯恩 , 德利吉安人 , 阿拉斯泰尔·唐纳森 , 杰伦·凯特马 , 丹尼尔·刘 , 沙兹·卡迪尔 :
为GPU内核设计一个静态验证工具。 CAV汽车 2014 : 226-242
![](https://dblp.org/img/cog.dark.24x24.png)