DengHang Hu

I am a PhD student in Research Group on Verification of System Software (VerSys), Institute of Software, Chinese Academy of Sciences, advised by Prof. Zhilin Wu.

My research focuses on solving string and sequence constraints. More specifically, I aim to develop decision procedures for string and sequence constraints by combining automata-based techniques with SMT-based reasoning.

I'm seeking for a Postdoctoral position starting from July 2026. Please feel free to contact me if you have any opportunities. Download CV

Publications

Solving string constraints with Regex-dependent functions through transducers with priorities and variables

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, and Zhilin Wu. POPL 2022.

An efficient string solver for string constraints with regex-counting and string-length

Denghang Hu, Zhilin Wu. JSA 2025.

Decision Procedures for A Theory of String Sequences

Denghang Hu, Taolue Chen, Philipp Rüemmer, Fu Song, Zhilin Wu. APLAS 2025.

String Constraints with Regex-Counting and String-Length Solved More Efficiently

Denghang Hu, Zhilin Wu. SETTA 2025.

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, and Zhilin Wu. ATVA 2020.

Solving Not-Substring Constraint with Flat Abstraction

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Denghang Hu, Wei-Lun Tsai, Zhillin Wu, and Di-De Yen. APLAS 2021.

OSTRICH2: Solver for Complex String Constraints

Matthew Hague, Denghang Hu, Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, and Zhilin Wu. FMCAD 2025.

News & Updates

December 2025: Created my academic homepage.