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 a master student in the group.
- 2015-2019:Computer science, University of Chinese Academy of Science.
Research Interests
- Program verification and analysis.
- String constraints solving.
- Symbolic execution and static analysis about javascript.
Publication:
- T. Chen, M. Hague, Z. Han, D. Hu, A. Lamas, A. Lin, S. Kan, P. Ruemmer, Z. Wu: Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. POPL2022
- P. Abdulla, M. Atig, Y. Chen, B. Diep, L. Holík, D. Hu, W. Tsai, Z. Wu, D. Yen: Solving Not-Substring Constraint with Flat Abstraction. APLAS 2021.
- T. Chen, M. Hague, J. He, D. Hu, A. Lin, P. Ruemmer, Z. Wu: A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020
Tools:
- [ostrich] An SMT solver for string constraints.