Junfeng Yang

Cited by

	All	Since 2017
Citations	7116	4411
h-index	37	28
i10-index	61	54

1100

550

275

825

2003200420052006200720082009201020112012201320142015201620172018201920202021202224 44 71 109 141 156 169 192 183 233 299 292 347 338 340 452 680 919 1035 976

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Suman JanaAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Kexin PeiPh.D., Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
Heming CuiUniversity of Hong KongVerified email at cs.hku.hk
Jingyue WuWaymoVerified email at google.com
Yinzhi CaoJohns Hopkins UniversityVerified email at jhu.edu
Gang HuColumbia UniversityVerified email at cs.columbia.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu
Chengzhi MaoPhD student at CS, 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
Lidong ZhouMicrosoft ResearchVerified email at microsoft.com
Justin WhitehousePhD Candidate, Carnegie Mellon UniversityVerified email at columbia.edu
Carl VondrickAssistant Professor, Columbia UniversityVerified email at columbia.edu
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
Andy ChouVerified email at alumni.stanford.edu
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
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
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	1078	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	1075	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	419	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	355	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	315	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	297	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	214	2006
Towards making systems forget with machine unlearning Y Cao, J Yang 2015 IEEE Symposium on Security and Privacy, 463-480, 2015	211	2015
Correlation exploitation in error ranking T Kremenek, K Ashcraft, J Yang, D Engler ACM SIGSOFT software engineering notes 29 (6), 83-93, 2004	177	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	152	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	152	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	148	2006
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	145	2016
Stable deterministic multithreading through schedule memoization H Cui, J Wu, C Tsai, J Yang 9th OSDI, 2010	141	2010
Metric learning for adversarial robustness C Mao, Z Zhong, J Yang, C Vondrick, B Ray Advances in Neural Information Processing Systems 32, 2019	122	2019
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	121	2011
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	119	2014
Fingerprinting event logs for system management troubleshooting R Panigrahy, C Verbowski, Y Xie, J Yang, D Yuan US Patent 8,069,374, 2011	114	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	111	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	109	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