Xiangzhe Xu

According to our database, Xiangzhe Xu authored at least 22 papers between 2020 and 2024.

Collaborative distances:

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

2024

ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation.

Anshunkang Zhou, Yikun Hu, Xiangzhe Xu, Charles Zhang

ACM Trans. Softw. Eng. Methodol., May, 2024

CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking.

Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, Xiangyu Zhang

Proc. ACM Softw. Eng., 2024

ParDiff: Practical Static Differential Analysis of Network Protocol Parsers.

Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang

Proc. ACM Program. Lang., 2024

ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation.

Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang

CoRR, 2024

Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases.

Zian Su, Xiangzhe Xu, Ziyang Huang, Kaiyuan Zhang, Xiangyu Zhang

CoRR, 2024

When Dataflow Analysis Meets Large Language Models.

Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang

CoRR, 2024

OdScan: Backdoor Scanning for Object Detection Models.

Siyuan Cheng, Guangyu Shen, Guanhong Tao, Kaiyuan Zhang, Zhuo Zhang, Shengwei An, Xiangzhe Xu, Yingqi Li, Shiqing Ma, Xiangyu Zhang

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Sanitizing Large Language Models in Bug Detection with Data-Flow.

Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiangyu Zhang

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

Lotus: Evasive and Resilient Backdoor Attacks through Sub-Partitioning.

Siyuan Cheng, Guanhong Tao, Yingqi Liu, Guangyu Shen, Shengwei An, Shiwei Feng, Xiangzhe Xu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

2023

Nova⁺: Generative Language Models for Binaries.

Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang

CoRR, 2023

LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis.

Xiangzhe Xu, Zhuo Zhang, Shiwei Feng, Yapeng Ye, Zian Su, Nan Jiang, Siyuan Cheng, Lin Tan, Xiangyu Zhang

CoRR, 2023

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.

Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang

Proceedings of the 32nd USENIX Security Symposium, 2023

PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model.

Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense.

Siyuan Cheng, Guanhong Tao, Yingqi Liu, Shengwei An, Xiangzhe Xu, Shiwei Feng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Shiqing Ma, Xiangyu Zhang

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis.

Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Detecting Backdoors in Pre-trained Encoders.

Shiwei Feng, Guanhong Tao, Siyuan Cheng, Guangyu Shen, Xiangzhe Xu, Yingqi Liu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Towards a Framework for Developing Verified Assemblers for the ELF Format.

Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Checkpointing and deterministic training for deep learning.

Xiangzhe Xu, Hongyu Liu, Guanhong Tao, Zhou Xuan, Xiangyu Zhang

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

2021

Automatic Generation and Validation of Instruction Encoders and Decoders.

Xiangzhe Xu, Jinhua Wu, Yuting Wang, Zhenguo Yin, Pengfei Li

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

CompCertELF: verified separate compilation of C programs into ELF object files.

Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao

Proc. ACM Program. Lang., 2020

The Classification and Propagation of Program Comments.

Xiangzhe Xu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

CPC: automatically classifying and propagating natural language comments via program analysis.

Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020