publications

2026

  1. ISSTA26
    AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
    Sungmin Kang, Haifeng Ruan, and Abhik Roychoudhury
    In the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2026
    To appear in ISSTA 2026
    arXiv

2025

  1. ICSE25
    SpecRover: Code Intent Extraction via LLMs
    Haifeng Ruan*, Yuntong Zhang*, and Abhik Roychoudhury
    * joint first authors, ordered alphabetically
    In the 47th International Conference on Software Engineering (ICSE), 2025
    arXiv PDF Code

2024

  1. TOSEM24
    Timing Side-Channel Mitigation via Automated Program Repair
    Haifeng Ruan, Yannic Noller, Saeid Tizpaz-Niari, Sudipta Chattopadhyay, and Abhik Roychoudhury
    ACM Trans. Softw. Eng. Methodol., 2024
    DOI PDF Code
  2. ISSTA24
    Oracle-Guided Program Selection from Large Language Models
    Zhiyu Fan*, Haifeng Ruan*, Sergey Mechtaev, and Abhik Roychoudhury
    * joint first authors, ordered alphabetically
    In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024, 2024
    DOI PDF Code
  3. ICST24
    Evolutionary Testing for Program Repair
    Haifeng Ruan, Hoang Lam Nguyen, Ridwan Shariffdeen, Yannic Noller, and Abhik Roychoudhury
    In IEEE Conference on Software Testing, Verification and Validation, ICST 2024, Toronto, ON, Canada, May 27-31, 2024, 2024
    DOI PDF Code
  4. ISSTA24
    AutoCodeRover: Autonomous Program Improvement
    Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, and Abhik Roychoudhury
    In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024, 2024
    DOI PDF Code