Yuan Xiao

11 papers A* 2A 1Journal 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhancing and Reporting Robustness Boundary of Neural Code Models for Intelligent Code Understanding.
CoRR
Tingxu Han, Wei Song, Weisong Sun, Hao Wu, Chunrong Fang, Yuan Xiao, Xiaofang Zhang, Zhenyu Chen, Yang Liu
2025 J jnl
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction.
CoRR
Yuan Xiao, Yuchen Chen, Shiqing Ma, Haocheng Huang, Chunrong Fang, Yanwei Chen, Weisong Sun, Yunfeng Zhu, Xiaofang Zhang, Zhenyu Chen
2025 J jnl
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction.
Proc. ACM Softw. Eng.
Yuan Xiao, Yuchen Chen, Shiqing Ma, Haocheng Huang, Chunrong Fang, Yanwei Chen, Weisong Sun, Yunfeng Zhu, Xiaofang Zhang, Zhenyu Chen
2025 J jnl
Eliminating Backdoors in Neural Code Models for Secure Code Understanding.
Proc. ACM Softw. Eng.
Weisong Sun, Yuchen Chen, Chunrong Fang, Yebo Feng, Yuan Xiao, An Guo, Quanjun Zhang, Zhenyu Chen, Baowen Xu, Yang Liu
2025 A* conf
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone.
CVPR
Yuan Xiao, Yuchen Chen, Shiqing Ma, Chunrong Fang, Tongtong Bai, Mingzheng Gu, Yuxin Cheng, Yanwei Chen, Zhenyu Chen
2024 A conf
CooTest: An Automated Testing Approach for V2X Communication Systems.
ISSTA
An Guo, Xinyu Gao, Zhenyu Chen, Yuan Xiao, Jiakai Liu, Xiuting Ge, Weisong Sun, Chunrong Fang
2024 J jnl
CooTest: An Automated Testing Approach for V2X Communication Systems.
CoRR
An Guo, Xinyu Gao, Zhenyu Chen, Yuan Xiao, Jiakai Liu, Xiuting Ge, Weisong Sun, Chunrong Fang
2024 J jnl
Eliminating Backdoors in Neural Code Models via Trigger Inversion.
CoRR
Weisong Sun, Yuchen Chen, Chunrong Fang, Yebo Feng, Yuan Xiao, An Guo, Quanjun Zhang, Yang Liu, Baowen Xu, Zhenyu Chen
2024 A* conf
Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation.
CVPR
Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang, Jinyuan Jia, Zhenyu Chen
2024 J jnl
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation.
CoRR
Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang, Jinyuan Jia, Zhenyu Chen
2022 J jnl
Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation.
CoRR
Yuan Xiao, Tongtong Bai, Mingzheng Gu, Chunrong Fang, Zhenyu Chen