Kexin Pei

Cited by

	All	Since 2018
Citations	4579	4505
h-index	15	15
i10-index	16	16

960

480

240

720

2016201720182019202020212022202314 37 261 613 828 908 950 937

Public access

View all

14 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
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu
Yinzhi CaoJohns Hopkins UniversityVerified email at jhu.edu
Shiqi WangApplied Scientist, Amazon AWS AI LabVerified email at cs.columbia.edu
Xiangyu ZhangSamuel Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Luo SiSalesforce, Alibaba Group Inc, Purdue Univ, Carnegie Mellon UnivVerified email at cs.purdue.edu
Zhongshu GuIBM ResearchVerified email at us.ibm.com
Dongyan XuSamuel Conte Professor of Computer Science and Director of CERIAS, Purdue UniversityVerified email at purdue.edu
Dongdong SheHong Kong University of Science and TechnologyVerified email at cse.ust.hk
Carl VondrickAssociate Professor, Columbia UniversityVerified email at columbia.edu
Brendan D. SaltaformaggioAssociate Professor, Georgia Institute of TechnologyVerified email at ece.gatech.edu
Shiqing MaUniversity of Massachusetts, AmherstVerified email at umass.edu
Angelos D. KeromytisGeorgia Institute of TechnologyVerified email at gatech.edu
Baowen XuNanjing UniversityVerified email at nju.edu.cn
Qifan WangSenior Staff Research Scientist, Meta AIVerified email at fb.com
Haibo HuProfessor, The Hong Kong Polytechnic UniversityVerified email at polyu.edu.hk
Jianliang Xu (徐建良)Chair Professor of Computer Science, Hong Kong Baptist UniversityVerified email at comp.hkbu.edu.hk
Shuigeng ZhouFudan UniversityVerified email at fudan.edu.cn
Byron ChoiProfessor, Associate Head (Teaching and Learning), Programme Director of BSc in Computer ScienceVerified email at hkbu.edu.hk

Kexin Pei

Neubauer Family Assistant Professor, Computer Science, University of Chicago

Verified email at cs.uchicago.edu - Homepage

Security Software Engineering Machine Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	1367	2018
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	1362	2017
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	467	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	429	2018
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	212	2019
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	168	2016
Towards practical verification of machine learning: The case of computer vision systems K Pei, L Zhu, Y Cao, J Yang, C Vondrick, S Jana ICSE 2019 Workshop on Testing for Deep Learning and Deep Learning for …, 2019	118	2019
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	96	2017
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	86	2016
TREX: Learning Execution Semantics from Micro-Traces for Binary Similarity K Pei, Z Xuan, J Yang, S Jana, B Ray IEEE Transactions on Software Engineering, 2020	67*	2020
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	50	2015
XDA: Accurate, Robust Disassembly with Transfer Learning K Pei, J Guan, D Williams-King, J Yang, S Jana 2021 Network and Distributed System Security Symposium (NDSS 2021), 2020	48	2020
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	39	2014
StateFormer: Fine-Grained Type Recovery from Binaries Using Generative State Modeling K Pei, J Guan, M Broughton, Z Chen, S Yao, D Williams-King, ... Proceedings of the 29th ACM Joint European Software Engineering Conference …, 2021	31	2021
Symlm: Predicting function names in stripped binaries via context-sensitive execution-aware code embeddings X Jin, K Pei, JY Won, Z Lin Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022	18	2022
Can Large Language Models Reason about Program Invariants? K Pei, D Bieber, K Shi, C Sutton, P Yin Fortieth International Conference on Machine Learning (ICML), 2023	12	2023
TRACED: Execution-aware Pre-training for Source Code Y Ding, B Steenhoek, K Pei, G Kaiser, W Le, B Ray arXiv preprint arXiv:2306.07487, 2023	3	2023
NeuDep: neural binary memory dependence analysis K Pei, D She, M Wang, S Geng, Z Xuan, Y David, J Yang, S Jana, B Ray Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022	3	2022
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	2	2019
SWE-bench: Can Language Models Resolve Real-World GitHub Issues? CE Jimenez, J Yang, A Wettig, S Yao, K Pei, O Press, K Narasimhan arXiv preprint arXiv:2310.06770, 2023	1	2023

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