Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality
Guanqin Zhang,Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui. OOPSLA 2025
Download Paper | Download Slides
Publications
You can also find my articles on my Google Scholar profile.
Conference Papers
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Tree
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui ECOOP 2025
Download Paper | Download Slides
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao Date 2025
Download Paper
Eager to Stop: Efficient Falsification of Deep Neural Networks
Guanqin Zhang, ICFEM 2023
Download Paper | Download Slides
Path-sensitive code embedding via contrastive learning for software vulnerability detection
Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui, ISSTA 2022
Download Paper | Download Slides
Flow2vec: Value-flow-based precise code embedding
Yulei Sui, Xiao Cheng, Guanqin Zhang and Haoyu Wang, OOPSLA 2020
Download Paper | Download Slides
Journal Papers
A tale of two cities: data and configuration variances in robust deep learning
Guanqin Zhang, Jiankun Sun, Feng Xu, H.M.N. Dilum Bandara, Shiping Chen, Yulei Sui, Tim Menzies, IEEE Internet Computing 2023
Download Paper
Books
No papers in this category.