Denghang Hu (胡登杭)'s Homepage


  • Institute: Institute Of Software Chinese Academy of Science (ISCAS)
  • Apartment: State Key Lab. of Computer Science (SKLCS)
  • email:

About me

Research interests

  • Program verification and analysis.
  • String constraints solving.
  • Symbolic execution and static analysis about javascript.


  • Denghang Hu, Zhilin Wu (): String Constraints with Regex-Counting and String-Length Solved More Efficiently. In Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, volume 14464 of Lecture Notes in Computer Science, pages 1-20, 2023. DOI BIB
  • Taolue Chen (), Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu (): Solving string constraints with Regex-dependent functions through transducers with priorities and variables. In Proc. ACM Program. Lang. 6(POPL):1-31, 2022. DOI BIB
  • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen (), Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu (), Di-De Yen: Solving Not-Substring Constraint with Flat Abstraction. In Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings, volume 13008 of Lecture Notes in Computer Science, pages 305-320, 2021. DOI BIB
  • Taolue Chen (), Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu (): A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. In Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, pages 325-342, 2020. DOI BIB


  • [ostrich]: An SMT solver for string constraints.