Scholar
Abhik Roychoudhury
Google Scholar ID: UxFWSJIAAAAJ
Professor of Computer Science, National University of Singapore
Program Analysis
Software Security
AI Agents
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
9,952
H-index
45
i10-index
99
Publications
20
Co-authors
15
list available
Publications
19 items
Towards Risk-free AI Agent Deployment
2026
Cited
0
ExplainBench: Evaluating Code Explanations from Agents
2026
Cited
0
Code-Augur: Agentic Vulnerability Detection via Specification Inference
2026
Cited
0
Code Review Agent Benchmark
2026
Cited
0
Lemma Discovery in Agentic Program Verification
2026
Cited
0
VeriGrey: Greybox Agent Validation
2026
Cited
0
SE Journals in 2036: Looking Back at the Future We Need to Have
2026
Cited
0
Agentic Program Verification
2025
Cited
0
Load more
Co-authors
12 total
Marcel Böhme
Max Planck Institute for Security & Privacy
Xiang Gao
Beihang University
Shin Hwei Tan
Associate Professor, Concordia University
Sergey Mechtaev
Peking University
Van-Thuan Pham
Senior Lecturer, School of Computing and Information Systems, The University of Melbourne
Zhiyu Fan
Huawei, Centre for Software Excellence
Ridwan Shariffdeen
SonarSource Singapore
Yuntong Zhang
National University of Singapore
