Posts by Collection

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

Paper Link Slides Link Code Link

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

Paper Link Code Link

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

Paper Link Code Link

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

Paper Link Code Link

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

Paper Link Code Link

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

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

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

Published: June 20, 2024

Foundation of Data Science

Teaching Assistant, Undergraduate course, Nanjing University, Software Institute, 2022–2025