Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Haotian Deng
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICFP/SPLASH 2025 profile
ICSE 2023 profile
Registered user since Sun 17 Oct 2021
Name:
Haotian Deng
Contributions
2025
SPLASH
Author of Complete the Cycle: Reachability Types with Expressive Cyclic References within the OOPSLA-track
2023
ISSTA
Committee Member in Artifact Evaluation within the Artifact Evaluation-track
ICSE
Author of Compiling Parallel Symbolic Execution with Continuations within the Artifact Evaluation-track
Author of Compiling Parallel Symbolic Execution with Continuations within the Technical Track-track
Share
x
Mon 27 Oct 03:39