大卫·威廉斯·金
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 【b1】 大卫·威廉斯·金 :
通过对等二进制重组提高安全性。 美国哥伦比亚大学, 2021 【c9】 贝可欣 , 乔纳斯·关 , 大卫·威廉斯·金 , 杨俊峰 , 苏曼·贾纳 :
XDA:通过转移学习实现准确、稳健的拆卸。 NDSS公司 2021 【c8】 贝可欣 , 乔纳斯·关 , 马修·布劳顿 , 陈忠天 , 姚松晨 , 大卫·威廉斯·金 , 维卡斯·乌马迪塞蒂 , 杨俊峰 , 白沙基射线 , 苏曼·贾纳 :
StateFormer:使用生成状态建模从二进制文件中进行细粒度类型恢复。 ESEC/SIGSOFT FSE 2021 : 690-702 2020 【c7】 大卫·威廉斯·金 , 小林秀内里 , 肯特·威廉斯·金 , 格雷厄姆·帕特森 , 弗兰克·斯潘诺 , 于建武 , 杨俊峰 , Vasileios P.Kemerlis公司 :
Egalito:布局-忽略二进制重新编译。 ASPLOS公司 2020 : 133-147 [i2] 贝可欣 , 乔纳斯·关 , 大卫·威廉斯·金 , 杨俊峰 , 苏曼·贾纳 :
XDA:通过转移学习实现准确、稳健的拆卸。 CoRR公司 abs/2010.00770 ( 2020 )
2010 – 2019
2019 【c6】 伊奥安尼斯·阿加达科斯 , 狄金 , 大卫·威廉斯·金 , 瓦西里奥斯·凯默利斯 , 乔治·波托卡利迪斯 :
Nibbler:去除二进制共享库。 ACSAC公司 2019 : 70-83 [i1] 张伟钦 , 姚玉玲 , 大卫·威廉斯·金 , 胡迪·利普森 :
集成模型修补:一种参数有效的变分贝叶斯神经网络。 CoRR公司 abs/1905.09453 ( 2019 ) 2016 【c5】 大卫·威廉斯·金 , 格雷厄姆·戈比斯基 , 肯特·威廉斯·金 , 詹姆斯·布莱克 , 鑫浩源 , 帕特里克·科尔普 , 米歇尔·郑 , 瓦西里奥斯·凯默利斯 , 杨俊峰 , 威廉·埃洛 :
Shuffler:快速可部署的连续代码重新随机化。 OSDI公司 2016 : 367-382 2015 [j1] 鑫浩源 , 大卫·威廉斯·金 , 杨俊峰 , 西蒙·塞图马达万 :
使用人工事务验证无锁数据结构。 ACM SIGOPS操作。 系统。 版次。 49 ( 2 ) : 57-63 ( 2015 ) 【c4】 鑫浩源 , 大卫·威廉斯·金 , 杨俊峰 , 西蒙·塞图马达万 :
使用人工事务验证无锁数据结构。 公共后勤服务@SOSP 2015 : 39-45 2013 【c3】 Jean-Sébastien Légare , 荷兰T.Meyer , 马克·斯皮尔 , 亚历山德鲁·托托利奇 , 萨拉·班布里奇 , 卡兰·麦克罗 , 罗贝特·苏米 , 昆兰·荣格 , 丹尼斯·特詹德拉 , 大卫·威廉斯·金 , 威廉·埃洛 , 安德鲁·沃菲尔德 :
容忍托管应用程序中的业务失败。 SoCC公司 2013 : 22:1-22:16 2012 【c2】 大卫·威廉斯·金 , 约格·登津格 , 约翰·艾科克 , 本·斯蒂芬森 :
黄金标准:自动生成拼图游戏关卡。 AIIDE公司 2012 2010 【c1】 大卫·威廉斯·金 , 约翰·艾科克 , 丹尼尔·梅德罗斯(Daniel Medeiros)卡斯特罗修女(Nunes de Castro) :
Enbug:当调试器坏了。 ITiCSE公司 2010 : 28-32
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)