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

• I am now a PhD student in the group.
• 2015-2019: Computer science, University of Chinese Academy of Science.
• 2019-: Computer science, Institute Of Software Chinese Academy of Sciences.

Research Interests

• Program verification and analysis.
• String constraints solving.

Publication:

• Chen, T. et al. (2020). A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. In: Hung, D.V., Sokolsky, O. (eds) Automated Technology for Verification and Analysis. ATVA 2020.
• Abdulla, P.A. et al. (2021). Solving Not-Substring Constraint withFlat Abstraction. In: Oh, H. (eds) Programming Languages and Systems. APLAS 2021.
• Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, and Zhilin Wu. 2022. Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang., 6, POPL (2022), 1–31.
• Hu, D., Wu, Z. (2024). String Constraints with Regex-Counting and String-Length Solved More Efficiently. In: Hermanns, H., Sun, J., Bu, L. (eds) Dependable Software Engineering. Theories, Tools, and Applications. SETTA 2023.

Tools:

• ostrich: An SMT solver for string constraints.