Denghang Hu

According to our database, Denghang Hu authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Denghang Hu, Zhilin Wu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

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, Zhilin Wu

Proc. ACM Program. Lang., 2022

2021

Solving Not-Substring Constraint withFlat Abstraction.

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

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

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, Zhilin Wu

Proceedings of the Automated Technology for Verification and Analysis, 2020