Xiao Yuan's CV

Education

• Joint Ph.D. in Compute Science, School of Computing, National University of Singapore, Nov. 2024-Nov. 2025 (Supervised by Professor Jinsong Dong, with academic collaboration and guidance from Professor Jun Sun, Singapore Management University)
• Ph.D. in Software Institute, Nanjing University, 2021-(expected: 2026) (Supervised by Professor Zhenyu Chen and Associate Professor Chunrong Fang, with academic collaboration and guidance from Assistant Professor Shiqing Ma, University of Massachusetts Amherst)
• B.S. in Mathematics Institute, Sun Yat-sen University, 2017-2021 (Supervised by Professor Xianping Guo)

Research Interest

• Robustness Verification for Neural Networks
• Watermark for Large Models

Publications

^† Co-first authors; ^* Corresponding authors.

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^*

International Symposium on Software Testing and Analysis

PDF Code

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^*

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition

PDF Code

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^*

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition

PDF Slides Code

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

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

Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

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^*

Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

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

The ACM International Conference on the Foundations of Software Engineering

PDF Code

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^*

The ACM SIGSOFT International Symposium on Software Testing and Analysis

PDF Code

Projects

• Project Partcipant: Involved in the industrialization of Construction and Quality Assurance for Safety-Critical Software Systems, 2024(Vertical Research Project: CJGJZD20200617103001003)
• Project Partcipant: SMARTLINK Internet of Vehicles Load Analysis System Development Project, 2023
• Project Partcipant: The population measurement of Huadu district Project, 2022

Awards

• Huawei Scholarship, School Level, 2025
• Model Graduate Student, School Level, 2025
• Nanjing University Graduate Scholarship, School Level, (2021-2025)
• Outstanding Graduate Student, School Level, 2022
• Second Prize of Sun Yat-sen University Undergraduate Scholarship, School Level, 2021
• Third Prizes of Sun Yat-sen University Undergraduate Scholarship, School Level, (2017-2020)
• The National Second Prize of the National Mathematical Modeling Competition, National Level, 2019

Teaching

• Teaching Assitant: Foudation of Data Science (2022-2024)

Service and leadership

• Reviewer: AAAI 2023, NeurIPS (2024, 2025), ICLR (2025, 2026), ICML 2025, TSE 2026
• Sub-Reviewer/External-Reviewer: TASE 2025, AAAI 2025, USENIX 2026, CVPR 2026