Kexin Pei
Kexin Pei
Ph.D. of Computer Science, Columbia University
Email verificata su cs.columbia.edu - Home page
TitoloCitata daAnno
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
2932017
Deeptest: Automated testing of deep-neural-network-driven autonomous cars
Y Tian, K Pei, S Jana, B Ray
Proceedings of the 40th international conference on software engineering …, 2018
2642018
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
662018
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
382018
Towards practical verification of machine learning: The case of computer vision systems
K Pei, Y Cao, J Yang, S Jana
arXiv preprint arXiv:1712.01785, 2017
372017
Leaps: Detecting camouflaged attacks with statistical learning guided by program analysis
Z Gu, K Pei, Q Wang, L Si, X Zhang, D Xu
Proceedings of the 2015 45th Annual IEEE/IFIP International Conference on …, 2015
362015
HVLearn: Automated black-box analysis of hostname verification in SSL/TLS implementations
S Sivakorn, G Argyros, K Pei, AD Keromytis, S Jana
2017 IEEE Symposium on Security and Privacy (SP), 521-538, 2017
352017
Hercule: Attack story reconstruction via community discovery on correlated log graph
K Pei, Z Gu, B Saltaformaggio, S Ma, F Wang, Z Zhang, L Si, X Zhang, ...
Proceedings of the 32Nd Annual Conference on Computer Security Applications …, 2016
342016
Private search on key-value stores with hierarchical indexes
H Hu, J Xu, X Xu, K Pei, B Choi, S Zhou
Proceedings of the 2014 IEEE 30th International Conference on Data …, 2014
212014
Python probabilistic type inference with natural language support
Z Xu, X Zhang, L Chen, K Pei, B Xu
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
182016
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
152019
DeepXplore: automated whitebox testing of deep learning systems
K Pei, Y Cao, J Yang, S Jana
Communications of the ACM 62 (11), 137-145, 2019
2019
Bringing Engineering Rigor to Deep Learning
K Pei, S Wang, Y Tian, J Whitehouse, C Vondrick, Y Cao, B Ray, S Jana, ...
ACM SIGOPS Operating Systems Review 53 (1), 59-67, 2019
2019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–13