Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
Published in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025
Publications
*: corresponding author
You can also find my articles on my Google Scholar profile.
Robustness Verification for Neural Network
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
Published in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
Watermarking for Code Large Language Models and Datasets
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Published in International Symposium on Software Testing and Analysis, 2025
DuCodeMark: Dual-Purpose Code Dataset Watermarking via Style-Aware Watermark–Poison Design
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
Published in Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2026
Robustness Testing for Neural Network
CooTest: An Automated Testing Approach for V2X Communication Systems
Published in The ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Backdoor Research for Neural Network
Eliminating Backdoors in Neural Code Models for Secure Code Understanding
Published in The ACM International Conference on the Foundations of Software Engineering, 2025