avatar

ZHAO Huan

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


Publications

Below is the complete publication list.

  1. [FSE'26] Agentic Verification of Software Systems Code
    Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury
    The ACM International Conference on the Foundations of Software Engineering (FSE), 2026.
    [One-line Summary] Can LLM agents write formal proofs for program verification tasks?

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

  3. [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.