Kexin Pei

Citado por

	Total	Desde 2019
Citas	5170	4828
Índice h	17	17
Índice i10	18	18

1200

600

300

900

20162017201820192020202120222023202413 37 264 606 836 895 939 1127 425

Acceso público

Ver todo

14 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Suman JanaAssociate Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Baishakhi RayAssociate Professor, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Yinzhi CaoJohns Hopkins UniversityDirección de correo verificada de jhu.edu
Shiqi WangApplied Scientist, Amazon AWS AI LabDirección de correo verificada de cs.columbia.edu
Xiangyu ZhangSamuel Conte Professor of Computer Science, Purdue UniversityDirección de correo verificada de cs.purdue.edu
Dongdong SheHong Kong University of Science and TechnologyDirección de correo verificada de cse.ust.hk
Luo SiSalesforce, Alibaba Group Inc, Purdue Univ, Carnegie Mellon UnivDirección de correo verificada de cs.purdue.edu
Zhongshu GuIBM ResearchDirección de correo verificada de us.ibm.com
Dongyan XuSamuel Conte Professor of Computer Science and Director of CERIAS, Purdue UniversityDirección de correo verificada de purdue.edu
Carl VondrickAssociate Professor, Columbia UniversityDirección de correo verificada de columbia.edu
Brendan D. SaltaformaggioAssociate Professor, Georgia Institute of TechnologyDirección de correo verificada de ece.gatech.edu
Shiqing MaUniversity of Massachusetts, AmherstDirección de correo verificada de umass.edu
Angelos D. KeromytisGeorgia Institute of TechnologyDirección de correo verificada de gatech.edu
Baowen XuNanjing UniversityDirección de correo verificada de nju.edu.cn
Qifan WangResearch Scientist, Meta AIDirección de correo verificada de fb.com
Zhiqiang LinDistinguished Professor of Engineering, The Ohio State UniversityDirección de correo verificada de cse.ohio-state.edu
Haibo HuProfessor, Hong Kong Polytechnic UniversityDirección de correo verificada de polyu.edu.hk
Jianliang Xu (徐建良)Chair Professor of Computer Science, Hong Kong Baptist UniversityDirección de correo verificada de comp.hkbu.edu.hk
Shuigeng ZhouFudan UniversityDirección de correo verificada de fudan.edu.cn

Seguir

Kexin Pei

Neubauer Family Assistant Professor, Computer Science, University of Chicago

Dirección de correo verificada de cs.uchicago.edu - Página principal

Security Software Engineering Machine Learning


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1501	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	1498	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	522	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	465	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	251	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	182	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	125	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	102	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	102	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	88*	2020
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	54	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	53	2015
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	44	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	43	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	42	2022
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	40	2014
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	28	2023
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	11	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	4	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	4	2022

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores