David Williams-King

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

Collaborative distances:

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

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, February, 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, David Williams-King

CoRR, February, 2025

Can Safety Fine-Tuning Be More Principled? Lessons Learned from Cybersecurity.

David Williams-King, Linh Le, Adam Oberman, Yoshua Bengio

CoRR, January, 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

Proceedings of the Adjunct Proceedings of the 33rd ACM Conference on User Modeling, 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

Proceedings of the 2025 Symposium on Eye Tracking Research and Applications, 2025

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

Proceedings of the 2025 Symposium on Eye Tracking Research and Applications, 2025

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