Abhik Roychoudhury
Scholar

Abhik Roychoudhury

Google Scholar ID: UxFWSJIAAAAJ
Professor of Computer Science, National University of Singapore
Program AnalysisSoftware SecurityAI Agents
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9,952
 
H-index
45
 
i10-index
99
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
15 items
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
Agentic AI for Software: thoughts from Software Engineering community
2025
Cited
0
AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
2025
Cited
0
Unified Software Engineering agent as AI Software Engineer
2025
Cited
0
Resume (English only)
Co-authors
15 total
Marcel Böhme
Marcel Böhme
Max Planck Institute for Security & Privacy
Co-author 2
Co-author 2
Xiang Gao
Xiang Gao
Beihang University
Shin Hwei Tan
Shin Hwei Tan
Associate Professor, Concordia University
Sergey Mechtaev
Sergey Mechtaev
Peking University
Van-Thuan Pham
Van-Thuan Pham
Senior Lecturer, School of Computing and Information Systems, The University of Melbourne
Co-author 7
Co-author 7
Co-author 8
Co-author 8