Skip to main content

Denghang Hu (胡登杭)'s Homepage

Contact​

  • Institute: Institute Of Software Chinese Academy of Science (ISCAS)
  • Apartment: State Key Lab. of Computer Science (SKLCS)
  • email: hudh###ios**ac*cn

About me​

Research interests​

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

Tools​

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

Publications

  1. Denghang Hu, Zhilin Wu. An Efficient String Solver for String Constraints with Regex-Counting and String-Length. Journal of Systems Architecture (JSA), 2025. DOI
  2. Matthew Hague, Denghang Hu, Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu. OSTRICH2: Solver for Complex String Constraints. Formal Methods in Computer-Aided Design (FMCAD), 2025. DOI
  3. Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu. Decision Procedures for A Theory of String Sequences. 23rd Asian Symposium on Programming Languages and Systems (APLAS), 2025. DOI
  4. Denghang Hu, Zhilin Wu. String Constraints with Regex-Counting and String-Length Solved More Efficiently. Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, 2023. DOI
  5. 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. Proc. ACM Program. Lang., 2022. DOI
  6. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen. Solving Not-Substring Constraint withFlat Abstraction. Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings, 2021. DOI
  7. 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. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, 2020. DOI