Denghang Hu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Decision Procedure for a Theory of String Sequences. | Denghang Hu, Taolue Chen, Philipp Rmmer, Fu Song, Zhilin Wu |
| 2025 | FMCAD | OSTRICH2: Solver for Complex String Constraints. | Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Zhilin Wu |
| 2023 | SETTA | String Constraints with Regex-Counting and String-Length Solved More Efficiently. | Denghang Hu, Zhilin Wu |
| 2021 | APLAS | Solving Not-Substring Constraint withFlat Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2020 | ATVA | 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 Rmmer, Zhilin Wu |