Kexin Pei

Cited by

	All	Since 2019
Citations	6051	5699
h-index	18	18
i10-index	20	20

1300

650

325

975

2017201820192020202120222023202438 263 612 839 909 946 1107 1284

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 WangResearch Scientist, Meta, Llama TeamVerified email at cs.columbia.edu
Xiangyu ZhangSamuel Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Dongdong SheHong Kong University of Science and TechnologyVerified email at cse.ust.hk
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
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
Baowen XuNanjing UniversityVerified email at nju.edu.cn
Angelos D. KeromytisGeorgia Institute of TechnologyVerified email at gatech.edu
Zhiqiang LinDistinguished Professor of Engineering, The Ohio State UniversityVerified email at cse.ohio-state.edu
Qifan WangResearch Scientist, Meta AIVerified email at fb.com
Haibo HuProfessor, Hong Kong Polytechnic UniversityVerified email at polyu.edu.hk
Jianliang Xu (徐建良)IEEE Fellow; Chair Professor of Computer Science, Hong Kong Baptist UniversityVerified email at comp.hkbu.edu.hk
Shuigeng ZhouFudan UniversityVerified email at fudan.edu.cn

Kexin Pei

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
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	1692	2017
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	1666	2018
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	566	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	510	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	290	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	235	2023
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	199	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	130	2019
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	123*	2020
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	116	2016
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	110	2017
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	73	2020
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	61	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	57	2023
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	57	2021
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	55	2015
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	42	2014
Traced: Execution-aware pre-training for source code Y Ding, B Steenhoek, K Pei, G Kaiser, W Le, B Ray Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024	27	2024
Language agents as hackers: Evaluating cybersecurity skills with capture the flag J Yang, A Prabhakar, S Yao, K Pei, KR Narasimhan Multi-Agent Security Workshop@ NeurIPS'23, 2023	14	2023
Smartinv: Multimodal learning for smart contract invariant inference SJ Wang, K Pei, J Yang 2024 IEEE Symposium on Security and Privacy (SP), 126-126, 2024	11	2024

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