Kexin Pei

According to our database, Kexin Pei authored at least 29 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Detecting Buggy Contracts via Smart Testing.

Sally Junsong Wang, Jianan Yao, Kexin Pei, Hidedaki Takahashi, Junfeng Yang

CoRR, 2024

Comment on Revisiting Neural Program Smoothing for Fuzzing.

Dongdong She, Kexin Pei, Junfeng Yang, Baishakhi Ray, Suman Jana

CoRR, 2024

SmartInv: Multimodal Learning for Smart Contract Invariant Inference.

Sally Junsong Wang, Kexin Pei, Junfeng Yang

Proceedings of the IEEE Symposium on Security and Privacy, 2024

TRACED: Execution-aware Pre-training for Source Code.

Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le, Baishakhi Ray

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Exploiting Code Symmetries for Learning Program Semantics.

Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Learning Approximate Execution Semantics From Traces for Binary Function Similarity.

Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray

IEEE Trans. Software Eng., April, 2023

Symmetry-Preserving Program Representations for Learning Code Semantics.

Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana

CoRR, 2023

TraceFixer: Execution Trace-Driven Program Repair.

Islem Bouzenia, Yangruibo Ding, Kexin Pei, Baishakhi Ray, Michael Pradel

CoRR, 2023

Can Large Language Models Reason about Program Invariants?

Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin

Proceedings of the International Conference on Machine Learning, 2023

2022

Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS).

Victor Robila, Kexin Pei, Junfeng Yang

CoRR, 2022

NeuDep: neural binary memory dependence analysis.

Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings.

Xin Jin, Kexin Pei, Jun Yeon Won, Zhiqiang Lin

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

StateFormer: fine-grained type recovery from binaries using generative state modeling.

Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao, David Williams-King, Vikas Ummadisetty, Junfeng Yang, Baishakhi Ray, Suman Jana

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

XDA: Accurate, Robust Disassembly with Transfer Learning.

Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity.

Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray

CoRR, 2020

2019

Bringing Engineering Rigor to Deep Learning.

Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang

ACM SIGOPS Oper. Syst. Rev., 2019

DeepXplore: automated whitebox testing of deep learning systems.

Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

Commun. ACM, 2019

NEUZZ: Efficient Fuzzing with Neural Program Smoothing.

Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018

NEUZZ: Efficient Fuzzing with Neural Program Learning.

Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana

CoRR, 2018

Formal Security Analysis of Neural Networks using Symbolic Intervals.

Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

Proceedings of the 27th USENIX Security Symposium, 2018

Efficient Formal Safety Analysis of Neural Networks.

Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

DeepTest: automated testing of deep-neural-network-driven autonomous cars.

Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems.

Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

CoRR, 2017

HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations.

Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, Suman Jana

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016

Python probabilistic type inference with natural language support.

Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, Baowen Xu

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

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

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis.

Zhongshu Gu, Kexin Pei, Qifan Wang, Luo Si, Xiangyu Zhang, Dongyan Xu

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Private search on key-value stores with hierarchical indexes.

Haibo Hu, Jianliang Xu, Xizhong Xu, Kexin Pei, Byron Choi, Shuigeng Zhou

Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014