Get started
Author

Guanqin Zhang

Observed names: ZHANG, Guanqin, Zhang, Guanqin
Observed institutions: University of Technology Sydney, Commonwealth Scientific and Industrial Research Organisation, Tianjin University of Science and Technology, Donghua University, National Institute of Informatics, UNSW Sydney, Data61
ORCID: 0000-0002-3844-8180
Observed ORCID: 0000-0002-3844-8180
OpenAlex ID: A5008760836
Path-sensitive code embedding via contrastive learning for software vulnerability detection
2022 · Xiao Cheng, Guanqin Zhang, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 119
Flow2Vec: value-flow-based precise code embedding
2020 · Yulei Sui, Xiao Cheng, et al. · Proceedings of the ACM on Programming Languages · 99
PDF
Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality
2025 · Guanqin Zhang, Zhenya Zhang, et al. · Proceedings of the ACM on Programming Languages · 5
PDF
An Evolutionary Perspective: A Study of Anubis Android Banking Trojan
2020 · Baodi Ning, Guanqin Zhang, et al. · International Conference on Dependable Systems and Their Applications (DSA) · 5
Research on position and orientation measurement method for roadheader based on vision/INS
2018 · Yaozhong Ye, Bowen Ma, et al. · International Conference on Optical Instruments and Technology: Optoelectronic Measurement Technology and Systems (OIT) · 5
Interpretable Verification Mechanism for Trustworthy Industrial Large Model in Intelligent Manufacturing
2025 · Shuxuan Zhao, Guanqin Zhang, et al. · Engineering · 3
A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning
2023 · Guanqin Zhang, Jiankun Sun, et al. · IEEE Internet Computing · 3
PDF
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
2025 · Kota Fukuda, Guanqin Zhang, et al. · Design, Automation, and Test in Europe · 2
PDF
Branch and Bound for Relational Verification of Neural Networks (ARTIFACT)
2026 · Fukuda, Kota, Zhang, Zhenya, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Evaluating LLM Personalization via Semantic Constraint Verification
2026 · Li, Xuran, Zhang, Guanqin, et al. · arXiv (Cornell University) · 1
PDF
Understanding the Robustness of Machine-Unlearning Models
2025 · Guanqin Zhang, Feng Xu, et al. · Lecture notes in computer science · 1
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
2025 · Zhang, Guanqin, Fukuda, Kota, et al. · arXiv (Cornell University) · 1
PDF
Eager to Stop: Efficient Falsification of Deep Neural Networks
2023 · Guanqin Zhang · Lecture notes in computer science · 1
Neither Over- nor Under-Constrained: Evaluating LLM Personalization under a Constraint Qualification Audit
2026 · Li, Xuran, Zhang, Guanqin, et al. · arXiv (Cornell University)
PDF
Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks
2026 · Guanqin Zhang, Yulei Sui · IEEE/ACM International Conference on Automated Software Engineering (ASE)
PDF
HyZor: Correlation-Preserving Hybrid Zonotopes for Neural Network Verification
2026 · Liu, Kaijie, ZHANG, Guanqin, et al. · Zenodo (CERN European Organization for Nuclear Research)
Branch and Bound for Relational Verification of Neural Networks
2026 · Fukuda, Kota, Zhang, Zhenya, et al. · arXiv (Cornell University)
PDF
Artifact for ``Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks''
2026 · Zhang, Guanqin, Sui, Yulei · Zenodo (CERN European Organization for Nuclear Research)
Mining Verdict Boundaries for Neural Network Verification
2026 · Jiawei Ren, Guanqin Zhang, et al. · Lecture notes in computer science
PDF
Microbiological Image Processing: Detection With Opencv and Yolov8, Tracking With Bytetrack and Deepsort
2025 · Yang Liu, Shudi Hao, et al.
PDF
Order-Leading Branch and Bound for Neural Network Verification
2025 · Zhang, Guanqin · UNSWorks (UNSW Sydney)
Works count: 23
Citation count: 246
H-index: 5
I10-index: 2
Year
Topic
Type