AI Agents for Program Reasoning
Home
News
People
Research
Publications
Open Positions
2026
[S&P]
Agentic Concolic Execution
Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury
47th IEEE Symposium on Security and Privacy (S&P), 2026.
[CACM]
Agentic AI Software Engineers: Programming with Trust
Abhik Roychoudhury, Corina Păsăreanu, Michael Pradel, Baishakhi Ray
Communications of the ACM (CACM), 2026.