Junfeng Yang

Cited by

	All	Since 2018
Citations	7800	4731
h-index	37	29
i10-index	65	58

1300

650

325

975

20032004200520062007200820092010201120122013201420152016201720182019202020212022202324 42 69 105 140 163 171 193 185 234 300 293 353 337 358 449 681 935 1018 1209 438

Public access

View all

29 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kexin PeiPh.D., Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Suman JanaAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Heming CuiUniversity of Hong KongVerified email at cs.hku.hk
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
Jingyue WuWaymoVerified email at google.com
Chengzhi MaoPhD student at CS, Columbia UniversityVerified email at columbia.edu
Yinzhi CaoJohns Hopkins UniversityVerified email at jhu.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu
Gang HuColumbia UniversityVerified email at cs.columbia.edu
Carl VondrickAssociate Professor, Columbia UniversityVerified email at columbia.edu
Yang TangClinical Assistant Professor of Computer Science, New York UniversityVerified email at cs.nyu.edu
Shiqi WangApplied Scientist, Amazon AWS AI LabVerified email at cs.columbia.edu
Justin WhitehousePhD Candidate, Carnegie Mellon UniversityVerified email at columbia.edu
Lidong ZhouMicrosoft ResearchVerified email at microsoft.com
Rui GuColumbia UniversityVerified email at cs.columbia.edu
Lintao ZhangMicrosoft Research AsiaVerified email at microsoft.com
Salvatore StolfoProfessor of Computer Science, Columbia UniversityVerified email at columbia.edu
Chia-Che TsaiTexas A&M UniversityVerified email at tamu.edu
Andy ChouVerified email at alumni.stanford.edu
Ming WuMicrosoft ResearchVerified email at microsoft.com

Junfeng Yang

Associate Professor of Computer Science, Columbia University

Verified email at cs.columbia.edu - Homepage

Operating systems software reliability concurrency and security.


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	1205	2017
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	1103	2001
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	423	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	415	2018
Efficient formal safety analysis of neural networks S Wang, K Pei, J Whitehouse, J Yang, S Jana Advances in neural information processing systems 31, 2018	365	2018
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	307	2009
Towards making systems forget with machine unlearning Y Cao, J Yang 2015 IEEE symposium on security and privacy, 463-480, 2015	264	2015
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	217	2006
Correlation exploitation in error ranking T Kremenek, K Ashcraft, J Yang, D Engler ACM SIGSOFT Software Engineering Notes 29 (6), 83-93, 2004	176	2004
Neuzz: Efficient fuzzing with neural program smoothing D She, K Pei, D Epstein, J Yang, B Ray, S Jana 2019 IEEE Symposium on Security and Privacy (SP), 803-817, 2019	173	2019
Neuzz: Efficient fuzzing with neural program smoothing D She, K Pei, D Epstein, J Yang, B Ray, S Jana 2019 IEEE Symposium on Security and Privacy (SP), 803-817, 2019	173	2019
Shuffler: Fast and Deployable Continuous Code Re-Randomization. D Williams-King, G Gobieski, K Williams-King, JP Blake, X Yuan, P Colp, ... OSDI 10, 3026877.3026906, 2016	158	2016
Metric learning for adversarial robustness C Mao, Z Zhong, J Yang, C Vondrick, B Ray Advances in Neural Information Processing Systems 32, 2019	154	2019
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	154	2006
Stable deterministic multithreading through schedule memoization H Cui, J Wu, C Tsai, J Yang 9th OSDI, 2010	144	2010
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	128	2014
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	124	2011
Fingerprinting event logs for system management troubleshooting R Panigrahy, C Verbowski, Y Xie, J Yang, D Yuan US Patent 8,069,374, 2011	119	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	114	2013
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	110	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors