AutoCodeRover: from research on Automatic Programming to Spinoff Acquisition
AutoCodeRover: from research on Automatic Programming to Spinoff Acquisition
Agent for Autonomous Program Improvement
Featured: AutoCodeRover
Agent for Autonomous Program Improvement
AutoCodeRover: from Research on Automatic Programming to Spinoff Acquisition
AutoCodeRover: from Research on Automatic Programming to Spinoff Acquisition
Agentic AI Software Engineer: Programming with Trust
Agentic AI Software Engineer: Programming with Trust
Professor Abhik Roychoudhury Comments in IEEE Spectrum
Professor Abhik Roychoudhury Comments in IEEE Spectrum on Importance of Intent Inference and Trust in AI Coding

Publications

[arxiv]
Skills for the future software profession: beyond agentic AI!
Sungmin Kang, Baishakhi Ray, Abhik Roychoudhury
arxiv pre-print 2026
Discussions from AI for Code Roundtables, New York / Singapore
[CACM]
Large Language Models in Software Security Analysis
Dylan Wolff, Martin Mirchev, Abhik Roychoudhury
Communications of the ACM (CACM), 69(9), Sep 2026
[ASE]
ExplainBench: Evaluating Code Explanations from Agents
Zhiyuan Pan, Sungmin Kang, Imam Nur Bani Yusuf, Abhik Roychoudhury
41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026
[ASE]
Lemma Discovery in Agentic Program Verification
Huan Zhao, Haoxin Tu, Zhengyao Liu, Martin Rinard, Abhik Roychoudhury
41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026
[ISSTA]
AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
Sungmin Kang, Haifeng Ruan, Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2026
[CACM]
Agentic AI Software Engineers: Programming with Trust
Abhik Roychoudhury, Corina Păsăreanu, Michael Pradel, Baishakhi Ray
Communications of the ACM (CACM), 69(5), May 2026
Released in arxiv Feb 19 2025, coinciding with AutoCodeRover acquisition announcement
[FSE]
Agentic Verification of Software Systems
Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng Abhik Roychoudhury
ACM International Conference on Foundations of Software Engineering (FSE), 2026
A proposal to conduct formal verification using LLM agents
[FSE]
AutoCodeRover: Agentic Program Repair for SonarQube Issues
Martin Mirchev, Ridwan Shariffdeen, Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury
ACM International Conference on Foundations of Software Engineering (FSE), Industry Track, 2026
Tech Transfer of AutoCodeRover agent to SonarQube
[S&P]
Agentic Concolic Execution
Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury
47th IEEE Symposium on Security and Privacy, 2026
[ICSE]
Unified Software Engineering agent as AI Software Engineer
Leonhard Applis, Yuntong Zhang, Shanchao Liang, Nan Jiang, Lin Tan, Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering, 2026
[ICSE]
Repairing LLM Executions for Secure Automatic Programming
Ali El Husseini, Yacine Izza, Blaise Genest, Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering, 2026
[ICSE-SEIP]
Fixing Security Vulnerabilities with Agentic AI in OSS-Fuzz
Yuntong Zhang, Jiawei Wang, Dominic Berzin, Martin Mirchev, Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering, 2026 (SEIP track)
[CACM]
Large Language Models in Software Security Analysis
Dylan Wolff, Martin Mirchev, Abhik Roychoudhury
Communications of the ACM (CACM), To appear
[ICSE]
SpecRover: Code Intent Extraction via LLMs
Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury
47th International Conference on Software Engineering (ICSE) 2025
[ISSTA]
AutoCodeRover: Autonomous Program Improvement
Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2024, arXiv:2404.05427, Publicly released 8th April 2024
[ISSTA]
Oracle-guided Program Selection from Large Language Models
Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury
ACM International Symposium on Software Testing and Analysis (ISSTA) 2024
[ICSE]
Automated Repair of Programs from Large Language Models
Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan
IEEE/ACM International Conference on Software Engineering (ICSE) 2023