Denghang Hu

11 papers B 4Misc 1Journal 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
An efficient string solver for string constraints with regex-counting and string-length.
J. Syst. Archit.
Denghang Hu, Zhilin Wu
2025 J jnl
Decision Procedure for A Theory of String Sequences.
CoRR
Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025 B conf
Decision Procedure for a Theory of String Sequences.
APLAS
Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025 B conf
OSTRICH2: Solver for Complex String Constraints.
FMCAD
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025 J jnl
OSTRICH2: Solver for Complex String Constraints.
CoRR
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2023 Misc conf
String Constraints with Regex-Counting and String-Length Solved More Efficiently.
SETTA
Denghang Hu, Zhilin Wu
2022 J jnl
Solving string constraints with Regex-dependent functions through transducers with priorities and variables.
Proc. ACM Program. Lang.
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2021 B conf
Solving Not-Substring Constraint withFlat Abstraction.
APLAS
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
2021 J jnl
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
CoRR
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 B conf
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
ATVA
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 J jnl
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
CoRR
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu