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
CooTest: An Automated Testing Approach for V2X Communication Systems
Published in The ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
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
Eliminating Backdoors in Neural Code Models for Secure Code Understanding
Published in The ACM International Conference on the Foundations of Software Engineering, 2025
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
talks
teaching
Foundation of Data Science
Teaching Assistant, Undergraduate course, Nanjing University, Software Institute, 2022–2025