Junfeng Yang

Junfeng Yang

Columbia University New York - New York City / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 911976
person_outline Junfeng Yang's MOST POPULAR ARTICLES
1-) Deepxplore: Automated whitebox testing of deep learning systemsK Pei, Y Cao, J Yang, S Janaproceedings of the 26th Symposium on Operating Systems Principles, 1-18, 201711022017
2-) An empirical study of operating systems errorsA Chou, J Yang, B Chelf, S Hallem, D EnglerProceedings of the eighteenth ACM symposium on Operating systems principles …, 200110812001
3-) Towards making systems forget with machine unlearningY Cao, J Yang2015 IEEE symposium on security and privacy, 463-480, 20155802015
4-) Formal security analysis of neural networks using symbolic intervalsS Wang, K Pei, J Whitehouse, J Yang, S Jana27th USENIX Security Symposium (USENIX Security 18), 1599-1614, 20185552018
5-) Efficient formal safety analysis of neural networksS Wang, K Pei, J Whitehouse, J Yang, S JanaAdvances in neural information processing systems 31, 20185022018