Denghang Hu -

Registered user since Thu 27 Mar 2025

Name:Denghang Hu

Country:China

Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Contributions

2025

ATVA

Author of Decision Procedures for A Theory of String Sequences within the APLAS Papers-track

APLAS

Author of Decision Procedures for A Theory of String Sequences within the Research Papers-track

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