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.
Pages
Posts
Future Blog Post
Published:
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:
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:
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:
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:
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
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.
CooTest: An Automated Testing Approach for V2X Communication Systems
Published in The ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Automated testing for V2X communication systems.
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
Ti-Lin verifies MaxPool-based neural networks via tight linear approximation.
Eliminating Backdoors in Neural Code Models for Secure Code Understanding
Published in The ACM International Conference on the Foundations of Software Engineering, 2025
Backdoor elimination in neural code models for secure code understanding.
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Published in International Symposium on Software Testing and Analysis, 2025
Detecting and purifying code dataset watermarks through dual-channel code abstraction.
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
Dual-purpose code dataset watermarking via style-aware watermark-poison design.
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
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
Published in Findings of the Association for Computational Linguistics, 2026
Functionality-preserving poisoning for protecting code datasets against unauthorized use.
talks
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Published:
teaching
Foundation of Data Science
Teaching Assistant, Undergraduate course, Nanjing University, Software Institute, 2022–2025