埃塞尔·巴德斯利
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2014 【c4】 埃塞尔·巴兹利 , 亚当·贝茨 , 内森·冲(Nathan Chong) , 彼得·科林伯恩 , 德利吉安人 , 阿拉斯泰尔·唐纳森 , 杰伦·凯特马 , 丹尼尔·刘 , 沙兹·卡迪尔 :
为GPU内核设计一个静态验证工具。 CAV汽车 2014 : 226-242 【c3】 埃塞尔·巴兹利 :
你所知道的一切都是错误的:惊人的时间旅行CPU,以及其他对并发性的恐惧。 ICCSW公司 2014 : 11-18 【c2】 埃塞尔·巴德斯利 , 阿拉斯泰尔·唐纳森 , 约翰·威克森 :
内核截取器:通过截取内核及其参数来自动进行GPU内核验证。 IWOCL公司 2014 : 7:1-7:5 【c1】 埃塞尔·巴兹利 , 阿拉斯泰尔·唐纳森 :
扭曲和原子:GPU内核验证中的超越障碍同步。 NASA形式方法 2014 : 230-245
![](https://dblp.org/img/cog.dark.24x24.png)