本·维德曼
人员信息
优化列表
2010 – 2019
2017 [第11条] 约翰·萨拉西诺 , Odaris Barrios-Arciga公司 , 朱茉莉 , 诺亚·马库斯 , 索林·勒纳 , 本·维德曼 :
交互图的用户指导合成。 芝加哥 2017 : 195-207 2015 [第10条] 梅雷迪思·林格尔·莫里斯 , 安德鲁·贝格尔 , 本·维德曼 :
了解神经多样性软件工程员工面临的挑战:建立一支更具包容性和生产力的技术团队。 资产 2015 : 173-184 2014 【c9】 维尼斯·卡西亚普 , 凯尔·杜威 , 伊桑·库夫纳(Ethan A.Kuefner) , 约翰·华格纳 , 凯文·吉本斯 , 约翰·萨拉西诺 , 本·维德曼 , 本·哈德科夫 :
JSAI:一个用于JavaScript的静态分析平台。 SIGSOFT FSE公司 2014 : 121-132 【c8】 本·哈德科夫 , 本·维德曼 , 伯克利·R·丘吉尔 , 维尼斯·卡西亚普 :
控制流量加宽。 VMCAI公司 2014 : 472-491 [i1] Vineeth Kashyap公司 , 凯尔·杜威 , 伊桑·库夫纳(Ethan A.Kuefner) , 约翰·华格纳 , 凯文·吉本斯 , 约翰·萨拉西诺 , 本·维德曼 , 本·哈德科夫 :
JSAI:为JavaScript设计一个声音、可配置和高效的静态分析器。 CoRR公司 abs/1403.3996 ( 2014 ) 2013 【c7】 维尼斯·卡西亚普 , 约翰·萨拉西诺 , 约翰·华格纳 , 本·维德曼 , 本·哈德科夫 :
JavaScript静态分析的类型优化。 DLS公司 2013 : 17-26 2012 [注2] 芭芭拉·莱德 , 本·维德曼 :
语言设计和分析:回顾。 柔和。 实际。 支出。 42 ( 1 ) : 3-18 ( 2012 ) 2011 【c6】 威廉·库克 , 本·维德曼 :
SQL数据库的远程批处理调用。 DBPL公司 2011 【c5】 维尼斯·卡西亚普 , 本·维德曼 , 本·哈德科夫 :
对时间和终止敏感的安全信息流:探索一种新方法。 IEEE安全与隐私研讨会 2011 : 413-428 2010 【c4】 再见,李 , 本·维德曼 , 马丁·赫泽尔 , 罗伯特·格林 , 凯瑟琳·麦金利 :
Jinn:为外语界面合成动态错误检测器。 PLDI公司 2010 : 36-49
2000 – 2009
2008 [j1] 斯蒂芬·M·布莱克本 , 凯瑟琳·麦金利 , 罗宾·加纳 , 克里斯·霍夫曼 , 阿斯贾德·M·汗 , Rotem Bentzur公司 , 艾默·迪万 , 丹尼尔·范伯格 , 丹尼尔·弗兰普顿 , 塞缪尔·盖耶 , 马丁·赫泽尔 , 安东尼·霍斯金 , 玛丽亚跳跃 , 韩·李 , J.艾略特·莫斯 , Aashish Phansalkar公司 , 达科·斯特凡诺维奇 , 托马斯·范德鲁宁 , 丹尼尔·冯·丁克拉奇 , 本·维德曼 :
醒来闻闻咖啡:21世纪的评估方法。 Commun公司。 ACM公司 51 ( 8 ) : 83-89 ( 2008 ) 【c3】 本·维德曼 , 阿里·易卜拉欣 , 威廉·库克 :
跨过程查询提取以实现透明持久性。 OOPSLA公司 2008 : 19-36 2007 【c2】 本·维德曼 , 威廉·R·库克 :
通过透明持久性的静态分析提取查询。 POPL公司 2007 : 199-210 2006 【c1】 斯蒂芬·M·布莱克本 , 罗宾·加纳 , 克里斯·霍夫曼 , 阿斯贾德·M·汗 , 凯瑟琳·麦金利 , Rotem Bentzur公司 , 艾默·迪万 , 丹尼尔·范伯格 , 丹尼尔·弗兰普顿 , 塞缪尔·盖耶 , 马丁·赫泽尔 , 安东尼·L·霍斯金 , 玛丽亚跳跃 , 韩博利(Han Bok Lee) , J.艾略特·莫斯 , Aashish Phansalkar公司 , 达科·斯特凡诺维奇 , 托马斯·范德鲁宁 , 丹尼尔·冯·丁克拉奇 , 本·维德曼 :
DaCapo基准测试:java基准测试开发和分析。 OOPSLA公司 2006 : 169-190