| An empirical study of operating systems errors A Chou, J Yang, B Chelf, S Hallem, D Engler Proceedings of the eighteenth ACM symposium on Operating systems principles …, 2001 | 990 | 2001 |
| Deepxplore: Automated whitebox testing of deep learning systems K Pei, Y Cao, J Yang, S Jana proceedings of the 26th Symposium on Operating Systems Principles, 1-18, 2017 | 539 | 2017 |
| Using model checking to find serious file system errors J Yang, P Twohey, D Engler, M Musuvathi ACM Transactions on Computer Systems (TOCS) 24 (4), 393-423, 2006 | 394 | 2006 |
| MODIST: Transparent model checking of unmodified distributed systems J Yang, T Chen, M Wu, Z Xu, X Liu, H Lin, M Yang, F Long, L Zhang, ... Proceedings of the 6th USENIX symposium on Networked systems design and …, 2009 | 252 | 2009 |
| Explode: a lightweight, general system for finding serious storage system errors J Yang, C Sar, D Engler Proceedings of the 7th symposium on Operating systems design and …, 2006 | 185 | 2006 |
| Formal security analysis of neural networks using symbolic intervals S Wang, K Pei, J Whitehouse, J Yang, S Jana 27th {USENIX} Security Symposium ({USENIX} Security 18), 1599-1614, 2018 | 168 | 2018 |
| Correlation exploitation in error ranking T Kremenek, K Ashcraft, J Yang, D Engler ACM SIGSOFT Software Engineering Notes 29 (6), 83-93, 2004 | 147 | 2004 |
| Efficient formal safety analysis of neural networks S Wang, K Pei, J Whitehouse, J Yang, S Jana Advances in Neural Information Processing Systems, 6367-6377, 2018 | 144 | 2018 |
| Automatically generating malicious disks using symbolic execution J Yang, C Sar, P Twohey, C Cadar, D Engler 2006 IEEE Symposium on Security and Privacy (S&P'06), 15 pp.-257, 2006 | 135 | 2006 |
| Stable deterministic multithreading through schedule memoization H Cui, J Wu, C Tsai, J Yang 9th OSDI, 2010 | 126 | 2010 |
| Practical software model checking via dynamic interface reduction H Guo, M Wu, L Zhou, G Hu, J Yang, L Zhang Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011 | 102 | 2011 |
| 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 …, 2016 | 100 | 2016 |
| Efficiently, effectively detecting mobile app bugs with appdoctor G Hu, X Yuan, Y Tang, J Yang Proceedings of the Ninth European Conference on Computer Systems, 1-15, 2014 | 97 | 2014 |
| Efficient deterministic multithreading through schedule relaxation H Cui, J Wu, J Gallagher, H Guo, J Yang Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011 | 96 | 2011 |
| Fingerprinting event logs for system management troubleshooting R Panigrahy, C Verbowski, Y Xie, J Yang, D Yuan US Patent 8,069,374, 2011 | 92 | 2011 |
| Parrot: a practical runtime for deterministic, stable, and reliable threads H Cui, J Simsa, YH Lin, H Li, B Blum, X Xu, J Yang, GA Gibson, RE Bryant Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013 | 91 | 2013 |
| Optimizing Data Partitioning for Data-Parallel Computing. Q Ke, V Prabhakaran, Y Xie, Y Yu, J Wu, J Yang HotOS, 2011 | 78* | 2011 |
| Towards making systems forget with machine unlearning Y Cao, J Yang 2015 IEEE Symposium on Security and Privacy, 463-480, 2015 | 76 | 2015 |
| MECA: an extensible, expressive system and language for statically checking security properties J Yang, T Kremenek, Y Xie, D Engler Proceedings of the 10th ACM conference on Computer and communications …, 2003 | 71 | 2003 |
| Context-based online configuration-error detection D Yuan, Y Xie, R Panigrahy, J Yang, C Verbowski, A Kumar Proceedings of the 2011 USENIX conference on USENIX annual technical …, 2011 | 68 | 2011 |
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
