Guanqin Zhang -

Registered user since Mon 26 Oct 2020

Name:Guanqin Zhang

Country:Australia

Affiliation:University of New South Wales & CSIRO's Data61

Personal website: https://guanqin-123.github.io/

Contributions

2025

ECOOP

Author of Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees within the Technical Papers-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

ISSTA

Author of Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection within the Technical Papers-track

2020

SPLASH

Author of Flow2Vec: Value-Flow-Based Precise Code Embedding within the OOPSLA-track