Denghang Hu

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

Philipp Rümmer, Taolue Chen, Anthony Widjaja Lin, 2020, ATVA.

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

Philipp Rümmer, Anthony Widjaja Lin, Zhilin Wu, 2022, Proceedings of the ACM on Programming Languages.

Solving Not-Substring Constraint withFlat Abstraction

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, 2021, APLAS.