Kexin Pei

Cited by

	All	Since 2020
Citations	6435	5484
h-index	19	18
i10-index	20	20

1500

750

375

1125

20172018201920202021202220232024202538 256 613 839 896 931 1099 1441 278

Public access

View all

15 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 YangProfessor 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	1722	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	1710	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	581	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	526	2018
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	398	2023
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	308	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	211	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	135*	2020
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	129	2019
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	117	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	109	2017
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	78	2023
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	78	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	75	2022
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	69	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	54	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	44	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	30	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	20	2023
Smartinv: Multimodal learning for smart contract invariant inference SJ Wang, K Pei, J Yang 2024 IEEE Symposium on Security and Privacy (SP), 2217-2235, 2024	17	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