| Solving string constraints with regex-dependent functions through transducers with priorities and variables T Chen, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, AW Lin, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 64 | 2022 |
| A decision procedure for path feasibility of string manipulating programs with integer data type T Chen, M Hague, J He, D Hu, AW Lin, P Rümmer, Z Wu International Symposium on Automated Technology for Verification and …, 2020 | 36 | 2020 |
| Solving Not-Substring Constraint withFlat Abstraction PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, D Hu, WL Tsai, Z Wu, ... Asian Symposium on Programming Languages and Systems, 305-320, 2021 | 15 | 2021 |
| String constraints with regex-counting and string-length solved more efficiently D Hu, Z Wu International Symposium on Dependable Software Engineering: Theories, Tools …, 2023 | 6 | 2023 |
| OSTRICH2: Solver for Complex String Constraints M Hague, D Hu, A Jez, AW Lin, O Markgraf, P Rümmer, Z Wu CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2025, 145, 2025 | 3 | 2025 |
| An efficient string solver for string constraints with regex-counting and string-length D Hu, Z Wu Journal of Systems Architecture 160, 103340, 2025 | 1 | 2025 |
| Decision Procedure for a Theory of String Sequences D Hu, T Chen, P Rümmer, F Song, Z Wu Asian Symposium on Programming Languages and Systems, 217-238, 2025 | | 2025 |
| OSTRICH Version 1.4 M Hague, D Hu, AW Lin, O Markgraf, P Rümmer, Z Wu | | |
