Login / Signup
Kexin Pei
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 34
Top Topics
Safety Analysis
Theoretical Underpinnings
Neural Network
Language Model
Top Venues
CoRR
IEEE Symposium on Security and Privacy
ESEC/SIGSOFT FSE
ICSE
</>
Publications
</>
Yangruibo Ding
,
Benjamin Steenhoek
,
Kexin Pei
,
Gail E. Kaiser
,
Wei Le
,
Baishakhi Ray
TRACED: Execution-aware Pre-training for Source Code.
ICSE
(2024)
Carlos E. Jimenez
,
John Yang
,
Alexander Wettig
,
Shunyu Yao
,
Kexin Pei
,
Ofir Press
,
Karthik R. Narasimhan
SWE-bench: Can Language Models Resolve Real-world Github Issues?
ICLR
(2024)
Kexin Pei
,
Zhou Xuan
,
Junfeng Yang
,
Suman Jana
,
Baishakhi Ray
Learning Approximate Execution Semantics From Traces for Binary Function Similarity.
IEEE Trans. Software Eng.
49 (4) (2023)
Kexin Pei
,
Weichen Li
,
Qirui Jin
,
Shuyang Liu
,
Scott Geng
,
Lorenzo Cavallaro
,
Junfeng Yang
,
Suman Jana
Symmetry-Preserving Program Representations for Learning Code Semantics.
CoRR
(2023)
Yangruibo Ding
,
Benjamin Steenhoek
,
Kexin Pei
,
Gail E. Kaiser
,
Wei Le
,
Baishakhi Ray
TRACED: Execution-aware Pre-training for Source Code.
CoRR
(2023)
Islem Bouzenia
,
Yangruibo Ding
,
Kexin Pei
,
Baishakhi Ray
,
Michael Pradel
TraceFixer: Execution Trace-Driven Program Repair.
CoRR
(2023)
Carlos E. Jimenez
,
John Yang
,
Alexander Wettig
,
Shunyu Yao
,
Kexin Pei
,
Ofir Press
,
Karthik Narasimhan
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
CoRR
(2023)
Kexin Pei
,
David Bieber
,
Kensen Shi
,
Charles Sutton
,
Pengcheng Yin
Can Large Language Models Reason about Program Invariants?
ICML
(2023)
Kexin Pei
,
Dongdong She
,
Michael Wang
,
Scott Geng
,
Zhou Xuan
,
Yaniv David
,
Junfeng Yang
,
Suman Jana
,
Baishakhi Ray
NeuDep: Neural Binary Memory Dependence Analysis.
CoRR
(2022)
Xin Jin
,
Kexin Pei
,
Jun Yeon Won
,
Zhiqiang Lin
SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings.
CCS
(2022)
Victor Robila
,
Kexin Pei
,
Junfeng Yang
Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS).
CoRR
(2022)
Kexin Pei
,
Dongdong She
,
Michael Wang
,
Scott Geng
,
Zhou Xuan
,
Yaniv David
,
Junfeng Yang
,
Suman Jana
,
Baishakhi Ray
NeuDep: neural binary memory dependence analysis.
ESEC/SIGSOFT FSE
(2022)
Kexin Pei
,
Jonas Guan
,
David Williams-King
,
Junfeng Yang
,
Suman Jana
XDA: Accurate, Robust Disassembly with Transfer Learning.
NDSS
(2021)
Kexin Pei
,
Jonas Guan
,
Matthew Broughton
,
Zhongtian Chen
,
Songchen Yao
,
David Williams-King
,
Vikas Ummadisetty
,
Junfeng Yang
,
Baishakhi Ray
,
Suman Jana
StateFormer: fine-grained type recovery from binaries using generative state modeling.
ESEC/SIGSOFT FSE
(2021)
Kexin Pei
,
Jonas Guan
,
David Williams-King
,
Junfeng Yang
,
Suman Jana
XDA: Accurate, Robust Disassembly with Transfer Learning.
CoRR
(2020)
Kexin Pei
,
Zhou Xuan
,
Junfeng Yang
,
Suman Jana
,
Baishakhi Ray
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity.
CoRR
(2020)
Dongdong She
,
Kexin Pei
,
Dave Epstein
,
Junfeng Yang
,
Baishakhi Ray
,
Suman Jana
NEUZZ: Efficient Fuzzing with Neural Program Smoothing.
IEEE Symposium on Security and Privacy
(2019)
Kexin Pei
,
Shiqi Wang
,
Yuchi Tian
,
Justin Whitehouse
,
Carl Vondrick
,
Yinzhi Cao
,
Baishakhi Ray
,
Suman Jana
,
Junfeng Yang
Bringing Engineering Rigor to Deep Learning.
ACM SIGOPS Oper. Syst. Rev.
53 (1) (2019)
Kexin Pei
,
Yinzhi Cao
,
Junfeng Yang
,
Suman Jana
DeepXplore: automated whitebox testing of deep learning systems.
Commun. ACM
62 (11) (2019)
Shiqi Wang
,
Kexin Pei
,
Justin Whitehouse
,
Junfeng Yang
,
Suman Jana
Formal Security Analysis of Neural Networks using Symbolic Intervals.
USENIX Security Symposium
(2018)
Shiqi Wang
,
Kexin Pei
,
Justin Whitehouse
,
Junfeng Yang
,
Suman Jana
Efficient Formal Safety Analysis of Neural Networks.
CoRR
(2018)
Yuchi Tian
,
Kexin Pei
,
Suman Jana
,
Baishakhi Ray
DeepTest: automated testing of deep-neural-network-driven autonomous cars.
ICSE
(2018)
Shiqi Wang
,
Kexin Pei
,
Justin Whitehouse
,
Junfeng Yang
,
Suman Jana
Formal Security Analysis of Neural Networks using Symbolic Intervals.
CoRR
(2018)
Shiqi Wang
,
Kexin Pei
,
Justin Whitehouse
,
Junfeng Yang
,
Suman Jana
Efficient Formal Safety Analysis of Neural Networks.
NeurIPS
(2018)
Dongdong She
,
Kexin Pei
,
Dave Epstein
,
Junfeng Yang
,
Baishakhi Ray
,
Suman Jana
NEUZZ: Efficient Fuzzing with Neural Program Learning.
CoRR
(2018)
Kexin Pei
,
Yinzhi Cao
,
Junfeng Yang
,
Suman Jana
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
GetMobile Mob. Comput. Commun.
22 (3) (2018)
Kexin Pei
,
Yinzhi Cao
,
Junfeng Yang
,
Suman Jana
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
SOSP
(2017)
Suphannee Sivakorn
,
George Argyros
,
Kexin Pei
,
Angelos D. Keromytis
,
Suman Jana
HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations.
IEEE Symposium on Security and Privacy
(2017)
Kexin Pei
,
Yinzhi Cao
,
Junfeng Yang
,
Suman Jana
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems.
CoRR
(2017)
Yuchi Tian
,
Kexin Pei
,
Suman Jana
,
Baishakhi Ray
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars.
CoRR
(2017)
Kexin Pei
,
Yinzhi Cao
,
Junfeng Yang
,
Suman Jana
DeepXplore: Automated Whitebox Testing of Deep Learning Systems.
CoRR
(2017)
Zhaogui Xu
,
Xiangyu Zhang
,
Lin Chen
,
Kexin Pei
,
Baowen Xu
Python probabilistic type inference with natural language support.
SIGSOFT FSE
(2016)
Kexin Pei
,
Zhongshu Gu
,
Brendan Saltaformaggio
,
Shiqing Ma
,
Fei Wang
,
Zhiwei Zhang
,
Luo Si
,
Xiangyu Zhang
,
Dongyan Xu
HERCULE: attack story reconstruction via community discovery on correlated log graph.
ACSAC
(2016)
Zhongshu Gu
,
Kexin Pei
,
Qifan Wang
,
Luo Si
,
Xiangyu Zhang
,
Dongyan Xu
LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis.
DSN
(2015)
Haibo Hu
,
Jianliang Xu
,
Xizhong Xu
,
Kexin Pei
,
Byron Choi
,
Shuigeng Zhou
Private search on key-value stores with hierarchical indexes.
ICDE
(2014)