| 2025 |
J |
jnl |
J. Syst. Archit.
Denghang Hu, Zhilin Wu
|
| 2025 |
J |
jnl |
CoRR
Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
|
| 2025 |
B |
conf |
APLAS
Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
|
| 2025 |
B |
conf |
FMCAD
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
|
| 2025 |
J |
jnl |
CoRR
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
|
| 2023 |
Misc |
conf |
SETTA
Denghang Hu, Zhilin Wu
|
| 2022 |
J |
jnl |
Proc. ACM Program. Lang.
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
|
| 2021 |
B |
conf |
APLAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen
|
| 2021 |
J |
jnl |
CoRR
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
|
| 2020 |
B |
conf |
ATVA
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
|
| 2020 |
J |
jnl |
CoRR
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
|