Publications

*: corresponding author

You can also find my articles on my Google Scholar profile.

Robustness Verification for Neural Network

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone

Yuan Xiao, Yuchen Chen, Shiqing Ma, Chunrong Fang^*, Tongtong Bai, Mingzheng Gu, Yuxin Cheng, Yanwei Chen, Zhenyu Chen^*

Published in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Ti-Lin verifies MaxPool-based neural networks via tight linear approximation.

Paper Link Code Link

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation

Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang^*, Jinyuan Jia, Zhenyu Chen^*

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

Robustness verification of MaxPool-based convolutional neural networks via tighter linear approximation.

Paper Link Slides Link Code Link

Watermarking for Code Large Language Models and Datasets

DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction

Yuan Xiao, Yuchen Chen, Shiqing Ma, Haocheng Huang, Chunrong Fang^*, Yanwei Chen, Weisong Sun, Yunfeng Zhu, Xiaofang Zhang, Zhenyu Chen^*

Published in International Symposium on Software Testing and Analysis, 2025

Detecting and purifying code dataset watermarks through dual-channel code abstraction.

Paper Link Code Link

Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets

Yuan Xiao, Yuchen Chen, Jiaming Wang, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang^*, Jin Song Dong, Zhenyu Chen^*

Published in Findings of the Association for Computational Linguistics, 2026

Functionality-preserving poisoning for protecting code datasets against unauthorized use.

DuCodeMark: Dual-Purpose Code Dataset Watermarking via Style-Aware Watermark–Poison Design

Yuchen Chen^†, Yuan Xiao^†, Chunrong Fang^*, Zhenyu Chen^*, Baowen Xu^*

Published in Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2026

Dual-purpose code dataset watermarking via style-aware watermark-poison design.

Paper Link

PuzzleMark: Implicit Jigsaw Learning for Robust Code Dataset Watermarking in Neural Code Completion Models

Haocheng Huang, Yuchen Chen, Weisong Sun, Peizhuo Lv, Yuan Xiao, Chunrong Fang, Yang Liu, Xiaofang Zhang^*

Published in Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2026

Robust code dataset watermarking for neural code completion models through implicit jigsaw learning.

Robustness Testing for Neural Network

CooTest: An Automated Testing Approach for V2X Communication Systems

An Guo, Xinyu Gao, Zhenyu Chen^*, Yuan Xiao, Jiakai Liu, Xiuting Ge, Weisong Sun, Chunrong Fang^*

Published in The ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Automated testing for V2X communication systems.

Paper Link Code Link

Backdoor Research for Neural Network

Eliminating Backdoors in Neural Code Models for Secure Code Understanding

Weisong Sun, Yuchen Chen, Chunrong Fang^*, Yebo Feng, Yuan Xiao, An Guo, Quanjun Zhang, Zhenyu Chen^*, Baowen Xu, Yang Liu

Published in The ACM International Conference on the Foundations of Software Engineering, 2025

Backdoor elimination in neural code models for secure code understanding.

Paper Link Code Link

Xiao, Yuan

Publications

Robustness Verification for Neural Network

Watermarking for Code Large Language Models and Datasets

Robustness Testing for Neural Network

Backdoor Research for Neural Network