Kexin Pei

50 papers A* 16A 2Journal 28Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
ExVerus: Verus Proof Repair via Counterexample Reasoning.
CoRR
Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, Kexin Pei
2026 J jnl
R-C2: Cycle-Consistent Reinforcement Learning Improves Multimodal Reasoning.
CoRR
Zirui Zhang, Haoyu Dong, Kexin Pei, Chengzhi Mao
2026 J jnl
SemRep: Generative Code Representation Learning with Code Transformations.
CoRR
Weichen Li, Jiamin Song, Bogdan Alexandru Stoica, Arav Dhoot, Gabriel Ryan, Shengyu Fu, Kexin Pei
2025 A* conf
EditLord: Learning Code Transformation Rules for Code Editing.
ICML
Weichen Li, Albert Jan, Baishakhi Ray, Junfeng Yang, Chengzhi Mao, Kexin Pei
2025 J jnl
EditLord: Learning Code Transformation Rules for Code Editing.
CoRR
Weichen Li, Albert Jan, Baishakhi Ray, Chengzhi Mao, Junfeng Yang, Kexin Pei
2025 J jnl
Locus: Agentic Predicate Synthesis for Directed Fuzzing.
CoRR
Jie Zhu, Chihao Shen, Ziyang Li, Jiahao Yu, Yizheng Chen, Kexin Pei
2025 J jnl
Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency.
CoRR
Jun Yang, Cheng-Chi Wang, Bogdan Alexandru Stoica, Kexin Pei
2025 J jnl
The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs.
CoRR
Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian
2025 A* conf
Towards More Accurate Static Analysis for Taint-Style Bug Detection in Linux Kernel.
ASE
Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian
2024 J jnl
Comment on Revisiting Neural Program Smoothing for Fuzzing.
CoRR
Dongdong She, Kexin Pei, Junfeng Yang, Baishakhi Ray, Suman Jana
2024 J jnl
Detecting Buggy Contracts via Smart Testing.
CoRR
Sally Junsong Wang, Jianan Yao, Kexin Pei, Hideaki Takahashi, Junfeng Yang
2024 A* conf
Exploiting Code Symmetries for Learning Program Semantics.
ICML
Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
2024 A* conf
SWE-bench: Can Language Models Resolve Real-world Github Issues?
ICLR
Carlos E. Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, Karthik R. Narasimhan
2024 A* conf
SmartInv: Multimodal Learning for Smart Contract Invariant Inference.
SP
Sally Junsong Wang, Kexin Pei, Junfeng Yang
2024 J jnl
SmartInv: Multimodal Learning for Smart Contract Invariant Inference.
CoRR
Sally Junsong Wang, Kexin Pei, Junfeng Yang
2024 A* conf
TRACED: Execution-aware Pre-training for Source Code.
ICSE
Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le, Baishakhi Ray
2023 — —
Analyzing and Securing Software via Robust and Generalizable Learning
Kexin Pei
2023 A* conf
Can Large Language Models Reason about Program Invariants?
ICML
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin
2023 J jnl
Learning Approximate Execution Semantics From Traces for Binary Function Similarity.
IEEE Trans. Software Eng.
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray
2023 J jnl
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
CoRR
Carlos E. Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, Karthik Narasimhan
2023 J jnl
Symmetry-Preserving Program Representations for Learning Code Semantics.
CoRR
Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
2023 J jnl
TRACED: Execution-aware Pre-training for Source Code.
CoRR
Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le, Baishakhi Ray
2023 J jnl
TraceFixer: Execution Trace-Driven Program Repair.
CoRR
Islem Bouzenia, Yangruibo Ding, Kexin Pei, Baishakhi Ray, Michael Pradel
2022 J jnl
Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS).
CoRR
Victor Robila, Kexin Pei, Junfeng Yang
2022 J jnl
NeuDep: Neural Binary Memory Dependence Analysis.
CoRR
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
2022 — conf
NeuDep: neural binary memory dependence analysis.
ESEC/SIGSOFT FSE
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
2022 A* conf
SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings.
CCS
Xin Jin, Kexin Pei, Jun Yeon Won, Zhiqiang Lin
2021 — conf
StateFormer: fine-grained type recovery from binaries using generative state modeling.
ESEC/SIGSOFT FSE
Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, Suman Jana
2021 A* conf
XDA: Accurate, Robust Disassembly with Transfer Learning.
NDSS
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2020 J jnl
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity.
CoRR
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray
2020 J jnl
XDA: Accurate, Robust Disassembly with Transfer Learning.
CoRR
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2019 J jnl
Bringing Engineering Rigor to Deep Learning.
ACM SIGOPS Oper. Syst. Rev.
Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang
2019 J jnl
DeepXplore: automated whitebox testing of deep learning systems.
Commun. ACM
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2019 A* conf
NEUZZ: Efficient Fuzzing with Neural Program Smoothing.
IEEE Symposium on Security and Privacy
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana
2018 A* conf
DeepTest: automated testing of deep-neural-network-driven autonomous cars.
ICSE
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
2018 J jnl
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
GetMobile Mob. Comput. Commun.
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2018 A* conf
Efficient Formal Safety Analysis of Neural Networks.
NeurIPS
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 J jnl
Efficient Formal Safety Analysis of Neural Networks.
CoRR
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 A* conf
Formal Security Analysis of Neural Networks using Symbolic Intervals.
USENIX Security Symposium
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 J jnl
Formal Security Analysis of Neural Networks using Symbolic Intervals.
CoRR
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana
2018 J jnl
NEUZZ: Efficient Fuzzing with Neural Program Learning.
CoRR
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana
2017 J jnl
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars.
CoRR
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray
2017 A* conf
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
SOSP
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2017 J jnl
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
CoRR
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2017 A* conf
HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations.
IEEE Symposium on Security and Privacy
Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, Suman Jana
2017 J jnl
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems.
CoRR
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2016 A conf
HERCULE: attack story reconstruction via community discovery on correlated log graph.
ACSAC
Kexin Pei, Zhongshu Gu, Brendan Saltaformaggio, Shiqing Ma, Fei Wang, Zhiwei Zhang, Luo Si, Xiangyu Zhang, Dongyan Xu
2016 — conf
Python probabilistic type inference with natural language support.
SIGSOFT FSE
Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, Baowen Xu
2015 A conf
LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis.
DSN
Zhongshu Gu, Kexin Pei, Qifan Wang, Luo Si, Xiangyu Zhang, Dongyan Xu
2014 A* conf
Private search on key-value stores with hierarchical indexes.
ICDE
Haibo Hu, Jianliang Xu, Xizhong Xu, Kexin Pei, Byron Choi, Shuigeng Zhou