Kexin Pei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair. | Yifan Zhang, Jieyu Li, Kexin Pei, Yu Huang, Kevin Leach |
| 2025 | ICML | EditLord: Learning Code Transformation Rules for Code Editing. | Weichen Li, Albert Jan, Baishakhi Ray, Junfeng Yang, Chengzhi Mao, Kexin Pei |
| 2024 | ICLR | SWE-bench: Can Language Models Resolve Real-world Github Issues? | Carlos E. Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, Karthik R. Narasimhan |
| 2024 | ICML | Exploiting Code Symmetries for Learning Program Semantics. | Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana |
| 2024 | ICSE | TRACED: Execution-aware Pre-training for Source Code. | Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le, Baishakhi Ray |
| 2024 | SP | SmartInv: Multimodal Learning for Smart Contract Invariant Inference. | Sally Junsong Wang, Kexin Pei, Junfeng Yang |
| 2023 | ICML | Can Large Language Models Reason about Program Invariants? | Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin |
| 2022 | CCS | SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings. | Xin Jin, Kexin Pei, Jun Yeon Won, Zhiqiang Lin |
| 2021 | NDSS | XDA: Accurate, Robust Disassembly with Transfer Learning. | Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana |
| 2019 | SP | NEUZZ: Efficient Fuzzing with Neural Program Smoothing. | Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana |
| 2018 | ICSE | DeepTest: automated testing of deep-neural-network-driven autonomous cars. | Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray |
| 2017 | SP | HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations. | Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, Suman Jana |
| 2017 | SOSP | DeepXplore: Automated Whitebox Testing of Deep Learning Systems. | Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana |
| 2016 | ACSAC | HERCULE: attack story reconstruction via community discovery on correlated log graph. | Kexin Pei, Zhongshu Gu, Brendan Saltaformaggio, Shiqing Ma, Fei Wang, Zhiwei Zhang, Luo Si, Xiangyu Zhang, Dongyan Xu |
| 2015 | DSN | LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis. | Zhongshu Gu, Kexin Pei, Qifan Wang, Luo Si, Xiangyu Zhang, Dongyan Xu |
| 2014 | ICDE | Private search on key-value stores with hierarchical indexes. | Haibo Hu, Jianliang Xu, Xizhong Xu, Kexin Pei, Byron Choi, Shuigeng Zhou |