| CPC: Automatically classifying and propagating natural language comments via program analysis J Zhai, X Xu, Y Shi, G Tao, M Pan, S Ma, L Xu, W Zhang, L Tan, X Zhang Proceedings of the ACM/IEEE 42nd International conference on software …, 2020 | 54 | 2020 |
| Detecting backdoors in pre-trained encoders S Feng, G Tao, S Cheng, G Shen, X Xu, Y Liu, K Zhang, S Ma, X Zhang Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023 | 46 | 2023 |
| Lmpa: Improving decompilation by synergy of large language model and program analysis X Xu, Z Zhang, S Feng, Y Ye, Z Su, N Jiang, S Cheng, L Tan, X Zhang arXiv preprint arXiv:2306.02546, 2023 | 24* | 2023 |
| CompCertELF: verified separate compilation of C programs into ELF object files Y Wang, X Xu, P Wilke, Z Shao Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 21 | 2020 |
| Improving binary code similarity transformer models by semantics-driven instruction deemphasis X Xu, S Feng, Y Ye, G Shen, Z Su, S Cheng, G Tao, Q Shi, Z Zhang, ... Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 19* | 2023 |
| Beagle: Forensics of deep learning backdoor attack for better defense S Cheng, G Tao, Y Liu, S An, X Xu, S Feng, G Shen, K Zhang, Q Xu, S Ma, ... arXiv preprint arXiv:2301.06241, 2023 | 13 | 2023 |
| Nova: Generative Language Models for Binaries N Jiang, C Wang, K Liu, X Xu, L Tan, X Zhang arXiv preprint arXiv:2311.13721, 2023 | 12 | 2023 |
| Automatic generation and validation of instruction encoders and decoders X Xu, J Wu, Y Wang, Z Yin, P Li Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 7 | 2021 |
| Extracting protocol format as state machine via controlled static loop analysis Q Shi, X Xu, X Zhang 32nd USENIX Security Symposium (USENIX Security 23), 7019-7036, 2023 | 5 | 2023 |
| Odscan: Backdoor scanning for object detection models S Cheng, G Shen, G Tao, K Zhang, Z Zhang, S An, X Xu, Y Li, S Ma, ... 2024 IEEE Symposium on Security and Privacy (SP), 1703-1721, 2024 | 4 | 2024 |
| Lotus: Evasive and resilient backdoor attacks through sub-partitioning S Cheng, G Tao, Y Liu, G Shen, S An, S Feng, X Xu, K Zhang, S Ma, ... Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2024 | 4 | 2024 |
| Codeart: Better code models by attention regularization when symbols are lacking Z Su, X Xu, Z Huang, Z Zhang, Y Ye, J Huang, X Zhang Proceedings of the ACM on Software Engineering 1 (FSE), 562-585, 2024 | 2 | 2024 |
| Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases Z Su, X Xu, Z Huang, K Zhang, X Zhang arXiv preprint arXiv:2405.19581, 2024 | 2 | 2024 |
| ParDiff: Practical Static Differential Analysis of Network Protocol Parsers M Zheng, Q Shi, X Liu, X Xu, L Yu, C Liu, G Wei, X Zhang Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1208-1234, 2024 | 2 | 2024 |
| PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model X Xu, Z Xuan, S Feng, S Cheng, Y Ye, Q Shi, G Tao, L Yu, Z Zhang, ... Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
| Checkpointing and deterministic training for deep learning X Xu, H Liu, G Tao, Z Xuan, X Zhang Proceedings of the 1st International Conference on AI Engineering: Software …, 2022 | 2 | 2022 |
| ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries D Xie, Z Zhang, N Jiang, X Xu, L Tan, X Zhang Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 1 | 2024 |
| ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation S Feng, Y Ye, Q Shi, Z Cheng, X Xu, S Cheng, H Choi, X Zhang Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 1 | 2024 |
| When Dataflow Analysis Meets Large Language Models C Wang, W Zhang, Z Su, X Xu, X Xie, X Zhang arXiv preprint arXiv:2402.10754, 2024 | 1 | 2024 |
| ProSec: Fortifying Code LLMs with Proactive Security Alignment X Xu, Z Su, J Guo, K Zhang, Z Wang, X Zhang arXiv preprint arXiv:2411.12882, 2024 | | 2024 |
Xiangyu ZhangSamuel Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
