David Williams-King

23 papers A* 3A 1B 3Journal 8Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Diagnosing Pathological Chain-of-Thought in Reasoning Models. CoRR Manqing Liu, David Williams-King, Ida Caspary, Linh Le, Hannes Whittingham, Puria Radmard, Cameron Tice, Edward James Young
2026	—	`conf`	Explainable AI for Dementia Detection Using EEG Microstates. IUI Companion Quoc-Toan Nguyen, Linh Le, David Williams-King, Quang-Hieu Tang, Nghia Duong-Trung
2025	J	`jnl`	Can Safety Fine-Tuning Be More Principled? Lessons Learned from Cybersecurity. CoRR David Williams-King, Linh Le, Adam Oberman, Yoshua Bengio
2025	—	`conf`	Emotion Recognition Using Text Embedding Models: Wearable and Wireless EEG Without Fixed EEG Channel Configurations. UMAP (Adjunct Publication) Quoc-Toan Nguyen, Huiru Zheng, Tahia Tazin, Linh Le, Tuan L. Vo, Nhu-Tri Tran, David Williams-King, Benjamin Tag
2025	B	`conf`	Learning Disorder Detection Using Eye Tracking: Are Large Language Models Better Than Machine Learning? ETRA Quoc-Toan Nguyen, Hy Nguyen, Quang-Hieu Tang, Tien Truong, Van-Tuan Pham, Linh Le, David Williams-King
2025	J	`jnl`	Representation Engineering for Large-Language Models: Survey and Research Challenges. CoRR Lukasz Bartoszcze, Sarthak Munshi, Bryan Sukidi, Jennifer Yen, Zejia Yang, David Williams-King, Linh Le, Kosi Asuzu, Carsten Maple
2025	J	`jnl`	Superintelligent Agents Pose Catastrophic Risks: Can Scientist AI Offer a Safer Path? CoRR 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
2025	B	`conf`	Time-Series Grid Encoding of Eye-Tracking Data for Explainable AI in Dyslexia Detection. ETRA Linh Le, Quoc Toan Nguyen, Nghia Duong-Trung, David Williams-King
2021	—	`—`	Improving Security Through Egalitarian Binary Recompilation. David Williams-King
2021	—	`conf`	StateFormer: fine-grained type recovery from binaries using generative state modeling. ESEC/SIGSOFT FSE Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, Suman Jana
2021	A*	`conf`	XDA: Accurate, Robust Disassembly with Transfer Learning. NDSS Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2020	A*	`conf`	Egalito: Layout-Agnostic Binary Recompilation. ASPLOS David Williams-King, Hidenori Kobayashi, Kent Williams-King, Graham Patterson, Frank Spano, Yu Jian Wu, Junfeng Yang, Vasileios P. Kemerlis
2020	J	`jnl`	Large-scale Debloating of Binary Shared Libraries. DTRAP Ioannis Agadakos, Nicholas DeMarinis, Di Jin, Kent Williams-King, Jearson Alfajardo, Benjamin Shteinfeld, David Williams-King, Vasileios P. Kemerlis, Georgios Portokalidis
2020	J	`jnl`	XDA: Accurate, Robust Disassembly with Transfer Learning. CoRR Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2019	—	`conf`	CodeMason: Binary-Level Profile-Guided Optimization. FEAST@CCS David Williams-King, Junfeng Yang
2019	J	`jnl`	Ensemble Model Patching: A Parameter-Efficient Variational Bayesian Neural Network. CoRR Oscar Chang, Yuling Yao, David Williams-King, Hod Lipson
2019	A	`conf`	Nibbler: debloating binary shared libraries. ACSAC Ioannis Agadakos, Di Jin, David Williams-King, Vasileios P. Kemerlis, Georgios Portokalidis
2016	A*	`conf`	Shuffler: Fast and Deployable Continuous Code Re-Randomization. OSDI David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello
2015	J	`jnl`	Making Lock-free Data Structures Verifiable with Artificial Transactions. ACM SIGOPS Oper. Syst. Rev. Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
2015	—	`conf`	Making lock-free data structures verifiable with artificial transactions. PLOS@SOSP Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
2013	—	`conf`	Tolerating business failures in hosted applications. SoCC 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
2012	—	`conf`	The Gold Standard: Automatically Generating Puzzle Game Levels. AIIDE David Williams-King, Jörg Denzinger, John Aycock, Ben Stephenson
2010	B	`conf`	Enbug: when debuggers go bad. ITiCSE David Williams-King, John Aycock, Daniel Medeiros Nunes de Castro