Denghang Hu (胡登杭)’s Homepage


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

About me

  • I am a master student in the group.
  • 2015-2019:Computer science, University of Chinese Academy of Science.

Research Interests

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


  • T. Chen, M. Hague, Z. Han, D. Hu, A. Lamas, A. Lin, S. Kan, P. Ruemmer, Z. Wu: Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. POPL2022
  • P. Abdulla, M. Atig, Y. Chen, B. Diep, L. Holík, D. Hu, W. Tsai, Z. Wu, D. Yen: Solving Not-Substring Constraint with Flat Abstraction. APLAS 2021.
  • T. Chen, M. Hague, J. HeD. Hu, A. Lin, P. Ruemmer, Z. Wu: A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020


  • [ostrich]  An SMT solver for string constraints.