David Williams-King

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 9

Top Topics

Variational Bayesian

Transfer Knowledge

Database Operations

Top Venues

ESEC/SIGSOFT FSE

Publications

Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
XDA: Accurate, Robust Disassembly with Transfer Learning. NDSS (2021)
Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, Suman Jana
StateFormer: fine-grained type recovery from binaries using generative state modeling. ESEC/SIGSOFT FSE (2021)
David Williams-King, Hidenori Kobayashi, Kent Williams-King, Graham Patterson, Frank Spano, Yu Jian Wu, Junfeng Yang, Vasileios P. Kemerlis
Egalito: Layout-Agnostic Binary Recompilation. ASPLOS (2020)
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
XDA: Accurate, Robust Disassembly with Transfer Learning. CoRR (2020)
Ioannis Agadakos, Di Jin, David Williams-King, Vasileios P. Kemerlis, Georgios Portokalidis
Nibbler: debloating binary shared libraries. ACSAC (2019)
Oscar Chang, Yuling Yao, David Williams-King, Hod Lipson
Ensemble Model Patching: A Parameter-Efficient Variational Bayesian Neural Network. CoRR (2019)
David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello
Shuffler: Fast and Deployable Continuous Code Re-Randomization. OSDI (2016)
Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
Making Lock-free Data Structures Verifiable with Artificial Transactions. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
Making lock-free data structures verifiable with artificial transactions. PLOS@SOSP (2015)
Jean-Sébastien Légaré, Dutch T. Meyer, Mark Spear, Alexandru Totolici, Sara Bainbridge, Kalan MacRow, Róbert Sumi, Quinlan Jung, Dennis Tjandra, David Williams-King, William Aiello, Andrew Warfield
Tolerating business failures in hosted applications. SoCC (2013)
David Williams-King, Jörg Denzinger, John Aycock, Ben Stephenson
The Gold Standard: Automatically Generating Puzzle Game Levels. AIIDE (2012)
David Williams-King, John Aycock, Daniel Medeiros Nunes de Castro
Enbug: when debuggers go bad. ITiCSE (2010)