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
54 2023 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 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
27 * 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
20 * 2023 Nova N Jiang, C Wang, K Liu, X Xu, L Tan, X Zhang
arXiv preprint arXiv:2311.13721, 2023
16 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
15 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 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
3 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
3 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 Sanitizing Large Language Models in Bug Detection with Data-Flow C Wang, W Zhang, Z Su, X Xu, X Zhang
Findings of the Association for Computational Linguistics: EMNLP 2024, 3790-3805, 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 ARCTURUS : Full Coverage Binary Similarity Analysis with Reachability-guided EmulationA Zhou, Y Hu, X Xu, C Zhang
ACM Transactions on Software Engineering and Methodology 33 (4), 1-31, 2024
1 2024 
Xiangyu ZhangSamuel Conte Professor of Computer Science, Purdue Universitycs.purdue.edu üzerinde doğrulanmış e-posta adresine sahip