Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Posts

Future Blog Post

Published: January 01, 2199

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

Published: August 14, 2015

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

Published: August 14, 2014

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

Published: August 14, 2013

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

Published: August 14, 2012

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

publications

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

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

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

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

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

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.

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.

Breaking Customized LLMs for Coding: Automated Red Teaming for Instruction Backdoor Attacks

Yuchen Chen, Wei Cheng, Yuan Xiao, Weisong Sun, Chunrong Fang, Yang Liu, Zhenyu Chen, Baowen Xu

Published in Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering, 2026

Automated red teaming for instruction backdoor attacks in customized LLMs for coding.

Security Risks for LLM-based Code Generation

Yuchen Chen, Wei Cheng, Yuan Xiao, Zhou Yang, Weifeng Sun, Chunrong Fang, Xiang Chen, Baowen Xu, David Lo, Zhenyu Chen

Published in ACM International Symposium on Software Testing and Analysis, 2026

Security risks for LLM-based code generation.

Securing Code Understanding: Detecting Natural Backdoor Vulnerability in Code Language Models

Yuchen Chen, Weisong Sun, Haocheng Huang, Yuan Xiao, Chunrong Fang, Yiran Zhang, Tingting Xu, Zhenpeng Chen, An Guo, Peizhuo Lv, Xiaofang Zhang, Zhenyu Chen, Yang Liu, Baowen Xu

Published in IEEE Transactions on Software Engineering, 2026

Detecting natural backdoor vulnerability in code language models.