Xiangzhe Xu

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 24

Top Topics

Abstract Argumentation

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Softw. Eng. Methodol.

Publications

Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, Xiangyu Zhang
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. CoRR (2024)
Siyuan Cheng, Guanhong Tao, Yingqi Liu, Guangyu Shen, Shengwei An, Shiwei Feng, Xiangzhe Xu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang
LOTUS: Evasive and Resilient Backdoor Attacks through Sub-Partitioning. CoRR (2024)
Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, Xiangyu Zhang
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Zian Su, Xiangzhe Xu, Ziyang Huang, Kaiyuan Zhang, Xiangyu Zhang
Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases. CoRR (2024)
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang
When Dataflow Analysis Meets Large Language Models. CoRR (2024)
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Anshunkang Zhou, Yikun Hu, Xiangzhe Xu, Charles Zhang
ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation. ACM Trans. Softw. Eng. Methodol. 33 (4) (2024)
Siyuan Cheng, Guanhong Tao, Yingqi Liu, Shengwei An, Xiangzhe Xu, Shiwei Feng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Shiqing Ma, Xiangyu Zhang
BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense. NDSS (2023)
Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. CoRR (2023)
Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang
Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. ISSTA (2023)
Shiwei Feng, Guanhong Tao, Siyuan Cheng, Guangyu Shen, Xiangzhe Xu, Yingqi Liu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang
Detecting Backdoors in Pre-trained Encoders. CVPR (2023)
Siyuan Cheng, Guanhong Tao, Yingqi Liu, Shengwei An, Xiangzhe Xu, Shiwei Feng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Shiqing Ma, Xiangyu Zhang
BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense. CoRR (2023)
Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang
: Generative Language Models for Binaries. CoRR (2023)
Shiwei Feng, Guanhong Tao, Siyuan Cheng, Guangyu Shen, Xiangzhe Xu, Yingqi Liu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang
Detecting Backdoors in Pre-trained Encoders. CoRR (2023)
Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. USENIX Security Symposium (2023)
Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song
Towards a Framework for Developing Verified Assemblers for the ELF Format. APLAS (2023)
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. CoRR (2023)
Xiangzhe Xu, Zhuo Zhang, Shiwei Feng, Yapeng Ye, Zian Su, Nan Jiang, Siyuan Cheng, Lin Tan, Xiangyu Zhang
LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis. CoRR (2023)
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. ESEC/SIGSOFT FSE (2023)
Xiangzhe Xu, Hongyu Liu, Guanhong Tao, Zhou Xuan, Xiangyu Zhang
Checkpointing and deterministic training for deep learning. CAIN (2022)
Xiangzhe Xu, Jinhua Wu, Yuting Wang, Zhenguo Yin, Pengfei Li
Automatic Generation and Validation of Instruction Encoders and Decoders. CAV (2) (2021)
Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang
CPC: automatically classifying and propagating natural language comments via program analysis. ICSE (2020)
Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao
CompCertELF: verified separate compilation of C programs into ELF object files. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Xiangzhe Xu
The Classification and Propagation of Program Comments. ASE (2020)