Enbug: when debuggers go bad. - David Williams-King; John Aycock; Daniel Medeiros Nunes de Castro (ITiCSE, 2010)

The Gold Standard: Automatically Generating Puzzle Game Levels. - David Williams-King; Jörg Denzinger; John Aycock; Ben Stephenson (AIIDE, 2012)

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 (SoCC, 2013)

Making Lock-free Data Structures Verifiable with Artificial Transactions. - Xinhao Yuan; David Williams-King; Junfeng Yang; Simha Sethumadhavan (ACM SIGOPS Oper. Syst. Rev., 2015)

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 (OSDI, 2016)

Nibbler: debloating binary shared libraries. - Ioannis Agadakos; Di Jin; David Williams-King; Vasileios P. Kemerlis; Georgios Portokalidis (ACSAC, 2019)

CodeMason: Binary-Level Profile-Guided Optimization. - David Williams-King; Junfeng Yang (FEAST@CCS, 2019)

Ensemble Model Patching: A Parameter-Efficient Variational Bayesian Neural Network. - Oscar Chang; Yuling Yao; David Williams-King; Hod Lipson (CoRR, 2019)

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 (ASPLOS, 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)

XDA: Accurate, Robust Disassembly with Transfer Learning. - Kexin Pei; Jonas Guan; David Williams-King; Junfeng Yang; Suman Jana (NDSS, 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 (ESEC/SIGSOFT FSE, 2021)

Improving Security Through Egalitarian Binary Recompilation. - David Williams-King (2021)

Time-Series Grid Encoding of Eye-Tracking Data for Explainable AI in Dyslexia Detection. - Linh Le; Quoc Toan Nguyen; Nghia Duong-Trung; David Williams-King (ETRA, 2025)

Learning Disorder Detection Using Eye Tracking: Are Large Language Models Better Than Machine Learning? - Quoc-Toan Nguyen; Hy Nguyen; Quang Hieu Tang; Tien Truong; Van-Tuan Pham; Linh Le; David Williams-King (ETRA, 2025)

Emotion Recognition Using Text Embedding Models: Wearable and Wireless EEG Without Fixed EEG Channel Configurations. - Quoc-Toan Nguyen; Huiru Zheng; Tahia Tazin; Linh Le; Tuan L. Vo; Nhu-Tri Tran; David Williams-King; Benjamin Tag (UMAP (Adjunct Publication), 2025)

Can Safety Fine-Tuning Be More Principled? Lessons Learned from Cybersecurity. - David Williams-King; Linh Le; Adam Oberman; Yoshua Bengio (CoRR, 2025)

Superintelligent Agents Pose Catastrophic Risks: Can Scientist AI Offer a Safer Path? - Yoshua Bengio; Michael K. Cohen; Damiano Fornasiere; Joumana Ghosn; Pietro Greiner; Matt MacDermott; Sören Mindermann; Adam Oberman; Jesse Richardson; Oliver Richardson; Marc-Antoine Rondeau; Pierre-Luc St-Charles; et al. (CoRR, 2025)

Representation Engineering for Large-Language Models: Survey and Research Challenges. - Lukasz Bartoszcze; Sarthak Munshi; Bryan Sukidi; Jennifer Yen; Zejia Yang; David Williams-King; Linh Le; Kosi Asuzu; Carsten Maple (CoRR, 2025)