Abhik Roychoudhury

Identifiers

No identifiers captured yet.

Papers (6)

1. Code Review Agent Benchmark cs.SE · 2026 · author #6
2. Agentic Verification of Software Systems cs.SE · 2025 · author #6
3. Large Language Model assisted Hybrid Fuzzing cs.SE · 2024 · author #3
4. Symbolic Verification of Cache Side-channel Freedom cs.SE · 2018 · author #2
5. Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution cs.PL · 2018 · author #4
6. Partitioning Patches into Test-equivalence Classes for Scaling Program Repair cs.SE · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Ruijie Meng 2 shared papers
• Gregory J. Duck 1 shared papers
• Haifeng Ruan 1 shared papers
• Haoxin Tu 1 shared papers
• Huan Zhao 1 shared papers
• Imam Nur Bani Yusuf 1 shared papers
• Mehtab Zafar 1 shared papers
• Prateek Saxena 1 shared papers
• Ridwan Shariffdeen 1 shared papers
• Sergey Mechtaev 1 shared papers
• Shin Hwei Tan 1 shared papers
• Shiqi Shen 1 shared papers
• Shweta Shinde 1 shared papers
• Soundarya Ramesh 1 shared papers
• Sudipta Chattopadhyay 1 shared papers
• Xiang Gao 1 shared papers
• Yahui Song 1 shared papers
• Yuntong Zhang 1 shared papers
• Zhiyuan Pan 1 shared papers