• Sign in
  • Sign up
conf.researchr.org / Huan Zhao
  • ASE 2026 profile
  • FSE 2026 profile
  • PLDI 2025 profile
  • PLDI 2026 profile
  • POPL 2026 profile
  • SPLASH/ISSTA 2026 profile
Huan Zhao

Registered user since Thu 27 Feb 2025

Name:Huan Zhao
Country:Singapore
Affiliation:National University of Singapore
Personal website: http://zhaohuanqdcn.github.io
Research interests:Software Testing and Verification, Program Analysis, Concurrent Computing

Contributions

2026

ASE

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
  • Author of Automated Lemma Discovery in Agentic Program Verification within the Research Papers-track

ISSTA

  • Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

ESEC/FSE

  • Author of Agentic Verification of Software Systems within the Research Papers-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2025

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Share
xTue 15 Sep 14:56
using conf.researchr.org (v1.76.0)
Support page
Sign Up