| Shuffler: fast and deployable continuous code {re-randomization} D Williams-King, G Gobieski, K Williams-King, JP Blake, X Yuan, P Colp, ... 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016 | 198 | 2016 |
| Egalito: Layout-agnostic binary recompilation D Williams-King, H Kobayashi, K Williams-King, G Patterson, F Spano, ... Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 112 | 2020 |
| Nibbler: debloating binary shared libraries I Agadakos, D Jin, D Williams-King, VP Kemerlis, G Portokalidis Proceedings of the 35th Annual Computer Security Applications Conference, 70-83, 2019 | 96 | 2019 |
| Xda: Accurate, robust disassembly with transfer learning K Pei, J Guan, D Williams-King, J Yang, S Jana arXiv preprint arXiv:2010.00770, 2020 | 69 | 2020 |
| StateFormer: fine-grained type recovery from binaries using generative state modeling K Pei, J Guan, M Broughton, Z Chen, S Yao, D Williams-King, ... Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 56 | 2021 |
| Large-scale debloating of binary shared libraries I Agadakos, N Demarinis, D Jin, K Williams-King, J Alfajardo, B Shteinfeld, ... Digital Threats: Research and Practice 1 (4), 1-28, 2020 | 19 | 2020 |
| The gold standard: Automatically generating puzzle game levels D Williams-King, J Denzinger, J Aycock, B Stephenson Proceedings of the AAAI Conference on Artificial Intelligence and …, 2012 | 18 | 2012 |
| Codemason: Binary-level profile-guided optimization D Williams-King, J Yang Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software …, 2019 | 12 | 2019 |
| Ensemble model patching: A parameter-efficient variational Bayesian neural network O Chang, Y Yao, D Williams-King, H Lipson arXiv preprint arXiv:1905.09453, 2019 | 8 | 2019 |
| Binary shuffling: defeating memory disclosure attacks through re-randomization D Williams-King University of British Columbia, 2014 | 5 | 2014 |
| Making lock-free data structures verifiable with artificial transactions X Yuan, D Williams-King, J Yang, S Sethumadhavan ACM SIGOPS Operating Systems Review 49 (2), 57-63, 2016 | 2 | 2016 |
| Enbug: when debuggers go bad D Williams-King, J Aycock, DMN de Castro Proceedings of the fifteenth annual conference on Innovation and technology …, 2010 | 2 | 2010 |
| 11th USENIX Symposium on Operating Systems Design and Implementation Y Liu, H Lu, Y Luo, A Memaripour, A Merritt, S Pillai, I Stefanovici, ... | 1 | 2016 |
| Tolerating business failures in hosted applications JS Legare, DT Meyer, M Spear, A Totolici, S Bainbridge, K MacRow, ... Proceedings of the 4th annual Symposium on Cloud Computing, 1-16, 2013 | 1 | 2013 |
| Improving Security Through Egalitarian Binary Recompilation D Williams-King Columbia University, 2021 | | 2021 |
| CPSC 526 project: Finbook D Williams-King | | 2013 |
| Bipath: Just-In-Time Incremental Symbolic Execution D Williams-King, R Spahn | | |
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerifierad e-postadress på cs.columbia.edu