avatar

ZHAO Huan

Ph.D. Candidate
National University of Singapore
zhaohuan (at) comp.nus.edu.sg


Publications (* for equal contribution)

Below is the complete publication list.

  1. [ASE'26] Automated Lemma Discovery for Agentic Program Verification Code
    Huan Zhao*,Haoxin Tu*,Zhengyao Liu,Martin C. Rinard,Abhik Roychoudhury
    41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026.
    [One-line Summary] Learning proof structure from code structure through helper lemma discovery.

  2. [FSE'26] Agentic Verification of Software Systems Code
    Haoxin Tu,Huan Zhao,Yahui Song,Mehtab Zafar,Ruijie Meng,Abhik Roychoudhury
    34th ACM International Conference on the Foundations of Software Engineering (FSE), 2026.
    [One-line Summary] Theorem proving for program verification with an agent.

  3. [S&P'26] Agentic Concolic Execution Code Slides
    Zhengxiong Luo,Huan Zhao,Dylan Wolff,Cristian Cadar,Abhik Roychoudhury
    47th IEEE Symposium on Security and Privacy (S&P), 2026.
    [One-line Summary] The first language- and theory-agonistic symbolic executor, empowered by LLM agents.

  4. [ASPLOS'25] Selectively Uniform Concurrency Testing Code Slides
    Huan Zhao,Dylan Wolff,Umang Mathur,Abhik Roychoudhury
    30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025.
    [One-line Summary] Exposing concurrency bugs with optimal probabilistic guarantees via random testing.