Scholar
Jing Sun
Google Scholar ID: H7pUxUAAAAAJ
Associate Professor, School of Computer Science, University of Auckland, New Zealand
Computer Science
Software Engineering
Formal Methods
Computer Aided Verification
Software Automation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
572
H-index
13
i10-index
18
Publications
20
Co-authors
2
list available
Publications
6 items
TMT: Runtime Backdoor Detection for Vision-Language-Action Policies on Unseen Tasks
2026
Cited
0
Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering
2026
Cited
0
Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts
2026
Cited
0
From Centrality Discounts to Centrality Premia: Interoperability and Platform Competition in Social Networks
2026
Cited
0
Rényi Pufferfish Privacy with Gaussian-based Priors: From Single Gaussian to Mixture Model
2026
Cited
0
Noise Reduction for Pufferfish Privacy: A Practical Noise Calibration Method
arXiv.org · 2026
Cited
0
Co-authors
1 total
Jin Song Dong
Professor of Computer Science, National University of Singapore
