David Williams-King

According to our database, David Williams-King authored at least 13 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Improving Security Through Egalitarian Binary Recompilation.

David Williams-King

PhD thesis, 2021

StateFormer: fine-grained type recovery from binaries using generative state modeling.

Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, Suman Jana

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

XDA: Accurate, Robust Disassembly with Transfer Learning.

Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Large-scale Debloating of Binary Shared Libraries.

Ioannis Agadakos, Nicholas DeMarinis, Di Jin, Kent Williams-King, Jearson Alfajardo, Benjamin Shteinfeld, David Williams-King, Vasileios P. Kemerlis, Georgios Portokalidis

DTRAP, 2020

Egalito: Layout-Agnostic Binary Recompilation.

David Williams-King, Hidenori Kobayashi, Kent Williams-King, Graham Patterson, Frank Spano, Yu Jian Wu, Junfeng Yang, Vasileios P. Kemerlis

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Ensemble Model Patching: A Parameter-Efficient Variational Bayesian Neural Network.

Oscar Chang, Yuling Yao, David Williams-King, Hod Lipson

CoRR, 2019

CodeMason: Binary-Level Profile-Guided Optimization.

David Williams-King, Junfeng Yang

Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019

Nibbler: debloating binary shared libraries.

Ioannis Agadakos, Di Jin, David Williams-King, Vasileios P. Kemerlis, Georgios Portokalidis

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2016

Shuffler: Fast and Deployable Continuous Code Re-Randomization.

David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Making Lock-free Data Structures Verifiable with Artificial Transactions.

Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan

ACM SIGOPS Oper. Syst. Rev., 2015

2013

Tolerating business failures in hosted applications.

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

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012

The Gold Standard: Automatically Generating Puzzle Game Levels.

David Williams-King, Jörg Denzinger, John Aycock, Ben Stephenson

Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

2010

Enbug: when debuggers go bad.

David Williams-King, John Aycock, Daniel Medeiros Nunes de Castro

Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010