本杰明·P·伍德
人员信息
其他同名人员
利维·伍德 (又名:李维·本杰明·伍德)
优化列表
2010 – 2019
2017 [j1] 本杰明·P·伍德 , 满曹 , 迈克尔·D·邦德 , 丹·格罗斯曼 :
动态数据竞争检测的检测偏差。 程序。 ACM计划。 语言。 1 ( OOPSLA公司 ) : 69:1-69:31 ( 2017 ) 【c8】 斯瓦南多·比斯瓦斯 , Man Cao(满草) , 张敏佳 , 迈克尔·D·邦德 , 本杰明·P·伍德 :
用于生产运行的轻量级数据竞争检测。 科科斯群岛 2017 : 11-21 【c7】 彭元峰 , 本杰明·P·伍德 , 约瑟夫·迪维蒂 :
PARSNIP:性能卓越的赛车安全架构,不会影响精度。 微型的 2017 : 490-502 2014 【b1】 本杰明·P·伍德 :
数据空间异常的软件和硬件支持。 美国华盛顿大学, 2014 【c6】 本杰明·P·伍德 , 路易斯·塞兹 , 丹·格罗斯曼 :
使用LARD对语言级数据种族进行低级检测。 ASPLOS公司 2014 : 671-686 2012 【c5】 塞巴斯蒂安·伯克哈特 , 曼努埃尔·法恩德里奇 , Daan Leijen公司 , 本杰明·P·伍德 :
最终一致性的云类型。 ECOOP公司 2012 : 283-307 【c4】 约瑟夫·迪维蒂 , 本杰明·P·伍德 , 卡林·施特劳斯 , 路易斯·塞兹 , 丹·格罗斯曼 , 沙兹·卡迪尔 :
RADISH:始终保持声音,并在软件和硬件中进行完整的种族检测。 国际标准协会 2012 : 201-212 2011 【c3】 本杰明·P·伍德 , 路易斯·塞兹 , 丹·格罗斯曼 :
数据空间异常的好处超出了内存模型。 MSPC公司 2011 : 30-36 [c2] 布兰登·露西亚 , 本杰明·P·伍德 , 路易斯·塞兹 :
使用重构的执行片段隔离和理解并发错误。 PLDI公司 2011 : 378-388 2010 【c1】 本杰明·P·伍德 , 阿德里安·桑普森 , 路易斯·塞兹 , 丹·格罗斯曼 :
结构化共享内存通信的可组合规范。 OOPSLA公司 2010 : 140-159