Junfeng Yang

Cited by

	All	Since 2019
Citations	10008	6508
h-index	44	34
i10-index	75	67

1500

750

375

1125

20042005200620072008200920102011201220132014201520162017201820192020202120222023202441 69 101 133 152 165 191 190 235 296 295 351 341 331 467 693 942 1022 1147 1471 1230

Public access

View all

37 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kexin PeiAssistant Professor, Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Suman JanaAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Chengzhi MaoColumbia UniversityVerified email at columbia.edu
Heming CuiUniversity of Hong KongVerified email at cs.hku.hk
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
Yinzhi CaoJohns Hopkins UniversityVerified email at jhu.edu
Carl VondrickAssociate Professor, Columbia UniversityVerified email at columbia.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu
Jingyue WuNVIDIAVerified email at nvidia.com
Gang HuColumbia UniversityVerified email at cs.columbia.edu
Yang TangClinical Assistant Professor of Computer Science, New York UniversityVerified email at cs.nyu.edu
Shiqi WangResearch Scientist, Meta, Llama TeamVerified email at cs.columbia.edu
Justin WhitehousePhD Candidate, Carnegie Mellon UniversityVerified email at andrew.cmu.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
Vasileios P. KemerlisAssociate Professor, Brown UniversityVerified email at cs.brown.edu
Andy ChouCEO, Ventrilo.aiVerified 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	1623	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	1137	2001
Towards making systems forget with machine unlearning Y Cao, J Yang 2015 IEEE symposium on security and privacy, 463-480, 2015	591	2015
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	554	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	500	2018
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	431	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	331	2009
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	281	2019
Metric learning for adversarial robustness C Mao, Z Zhong, J Yang, C Vondrick, B Ray Advances in neural information processing systems 32, 2019	229	2019
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	227	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	193	2016
Correlation exploitation in error ranking T Kremenek, K Ashcraft, J Yang, D Engler ACM SIGSOFT Software Engineering Notes 29 (6), 83-93, 2004	185	2004
Stable deterministic multithreading through schedule memoization H Cui, J Wu, C Tsai, J Yang 9th OSDI, 2010	154	2010
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	150	2006
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	144	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	137	2011
Fingerprinting event logs for system management troubleshooting R Panigrahy, C Verbowski, Y Xie, J Yang, D Yuan US Patent 8,069,374, 2011	134	2011
Towards practical verification of machine learning: The case of computer vision systems K Pei, L Zhu, Y Cao, J Yang, C Vondrick, S Jana arXiv preprint arXiv:1712.01785, 2017	130	2017
Overload control for scaling wechat microservices H Zhou, M Chen, Q Lin, Y Wang, X She, S Liu, R Gu, BC Ooi, J Yang Proceedings of the ACM Symposium on Cloud Computing, 149-161, 2018	116	2018
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	109	2013

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