Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Denghang Hu
conf.researchr.org general profile
POPL 2022 profile
SPLASH 2021 profile
Not registered as user
Name:
Denghang Hu
Country:
China
Affiliation:
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Contributions
2022
POPL
Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track
2021
APLAS
Author of Solving Not-Substring with Flat Abstraction within the Research Papers-track
Share
x
Sat 11 Jan 07:09