Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhilei Han
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICSE 2023 profile
ICSE 2026 profile
Registered user since Sat 28 Jan 2023
Name:
Zhilei Han
Affiliation:
Tsinghua University
Contributions
2026
ICSE
Author of Accurate Inference of Termination Conditions within the Research Track-track
2025
SPLASH
Author of Structural Abstraction and Refinement for Probabilistic Programs within the OOPSLA-track
2023
ICSE
Author of Data-driven Recurrent Set Learning For Non-termination Analysis within the Technical Track-track
Share
x
Sun 26 Oct 21:10