Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hanrui Zhao
conf.researchr.org general profile
APSEC 2026 profile
FM 2026 profile
POPL 2026 profile
Registered user since Tue 23 Sep 2025
Name:
Hanrui Zhao
Contributions
2026
APSEC
Author of Debug Before You Guess: Empowering LLMs with Interactive Debuggers for Method-Level Fault Localization within the Technical Track-track
FM
Author of Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification within the Research Track-track
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2026-track
Share
x
Sat 24 Oct 07:37