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. NDSS'27 Agentic Orchestration for Hybrid Fuzzing
    Zhengxiong Luo*,Huan Zhao*,Mehtab Zafar,Cristian Cadar,Abhik Roychoudhury
    The Network and Distributed System Security (NDSS) Symposium 2027.

    TL;DRShepherding hybrid fuzzing with an LLM agent for better tester coordination.

  2. ASE'26 Automated Lemma Discovery in Agentic Program Verification
    Huan Zhao*,Haoxin Tu*,Zhengyao Liu,Martin C. Rinard,Abhik Roychoudhury
    41st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2026.

    TL;DRDeriving proof structure from code structure by discovering helper lemmas.

    PDF Code
  3. FSE'26 Agentic Verification of Software Systems
    Haoxin Tu,Huan Zhao,Yahui Song,Mehtab Zafar,Ruijie Meng,Abhik Roychoudhury
    34th ACM International Conference on the Foundations of Software Engineering (FSE), 2026.

    TL;DRTheorem proving for program verification with an LLM agent.

    PDF Code
  4. S&P'26 Agentic Concolic Execution
    Zhengxiong Luo,Huan Zhao,Dylan Wolff,Cristian Cadar,Abhik Roychoudhury
    47th IEEE Symposium on Security and Privacy (S&P), 2026.

    TL;DRSymbolic execution of software with LLM agents for any language or theory.

    PDF Code Slides
  5. ASPLOS'25 Selectively Uniform Concurrency Testing
    Huan Zhao,Dylan Wolff,Umang Mathur,Abhik Roychoudhury
    30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025.

    TL;DRExposing concurrency bugs with optimal probabilistic guarantees via random testing.

    PDF Code Slides