default search action
Xiangzhe Xu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j4]Mingwei Zheng
, Qingkai Shi, Xuwei Liu
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. Proc. ACM Program. Lang. 8(OOPSLA1): 1208-1234 (2024) - [j3]Zian Su
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. Proc. ACM Softw. Eng. 1(FSE): 562-585 (2024) - [j2]Anshunkang Zhou
ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation. ACM Trans. Softw. Eng. Methodol. 33(4): 96:1-96:31 (2024) - [c14]Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, Xiangyu Zhang:
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries. CCS 2024: 4554-4568 - [c13]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. CVPR 2024: 24798-24809 - [c12]Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiangyu Zhang:
Sanitizing Large Language Models in Bug Detection with Data-Flow. EMNLP (Findings) 2024: 3790-3805 - [c11]Siyuan Cheng, Guangyu Shen, Guanhong Tao, Kaiyuan Zhang, Zhuo Zhang, Shengwei An, Xiangzhe Xu, Yingqi Li, Shiqing Ma, Xiangyu Zhang:
OdScan: Backdoor Scanning for Object Detection Models. SP 2024: 1703-1721 - [i11]Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang:
When Dataflow Analysis Meets Large Language Models. CoRR abs/2402.10754 (2024) - [i10]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 abs/2402.11842 (2024) - [i9]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 abs/2403.17188 (2024) - [i8]Zian Su, Xiangzhe Xu, Ziyang Huang, Kaiyuan Zhang, Xiangyu Zhang:
Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases. CoRR abs/2405.19581 (2024) - [i7]Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang:
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation. CoRR abs/2409.07774 (2024) - 2023
- [c10]Jinhua Wu
Towards a Framework for Developing Verified Assemblers for the ELF Format. APLAS 2023: 205-224 - [c9]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: 16352-16362 - [c8]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: 1106-1118 - [c7]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 - [c6]Xiangzhe Xu
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. ESEC/SIGSOFT FSE 2023: 401-412 - [c5]Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang:
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. USENIX Security Symposium 2023: 7019-7036 - [i6]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 abs/2301.06241 (2023) - [i5]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 abs/2303.15180 (2023) - [i4]Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang:
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. CoRR abs/2305.13483 (2023) - [i3]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 abs/2306.02546 (2023) - [i2]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 abs/2308.15449 (2023) - [i1]Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang:
Nova+: Generative Language Models for Binaries. CoRR abs/2311.13721 (2023) - 2022
- [c4]Xiangzhe Xu, Hongyu Liu, Guanhong Tao, Zhou Xuan, Xiangyu Zhang:
Checkpointing and deterministic training for deep learning. CAIN 2022: 65-76 - 2021
- [c3]Xiangzhe Xu
Automatic Generation and Validation of Instruction Encoders and Decoders. CAV (2) 2021: 728-751 - 2020
- [j1]Yuting Wang
CompCertELF: verified separate compilation of C programs into ELF object files. Proc. ACM Program. Lang. 4(OOPSLA): 197:1-197:28 (2020) - [c2]Juan Zhai
CPC: automatically classifying and propagating natural language comments via program analysis. ICSE 2020: 1359-1371 - [c1]Xiangzhe Xu:
The Classification and Propagation of Program Comments. ASE 2020: 1394-1396
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: