avatar

ZHAO Huan

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


Publications

Below is the complete publication list.

  1. [ASE'26] Automated Lemma Discovery for Agentic Program Verification (Pre-Print)
    Huan Zhao*, Haoxin Tu*, Zhengyao Liu, Martin Rinard, Abhik Roychoudhury
    (* equal contribution)
    41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026.
    [One-line Summary] Discovering helper lemmas from program semantics to assist theorem proving.

  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] Can LLM agents write formal proofs for program verification tasks?

  3. [S&P'26] Agentic Concolic Execution Code Slides BibTex
    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 BibTex
    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.