| 2026 |
J |
jnl |
CoRR
Yuan Cao, Dezhi Ran, Mengzhou Wu, Yuzhe Guo, Xin Chen, Ang Li, Gang Cao, Gong Zhi, Hao Yu, Linyi Li, Wei Yang, Tao Xie
|
| 2025 |
J |
jnl |
CoRR
Dezhi Ran, Yuan Cao, Mengzhou Wu, Simin Chen, Yuzhe Guo, Jun Ren, Zihe Song, Hao Yu, Jialei Wei, Linyi Li, Wei Yang, Baishakhi Ray, Tao Xie
|
| 2025 |
A* |
conf |
ICLR
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou
|
| 2025 |
J |
jnl |
CoRR
Dezhi Ran, Mengzhou Wu, Hao Yu, Yuetong Li, Jun Ren, Yuan Cao, Xia Zeng, Haochuan Lu, Zexin Xu, Mengqian Xu, Ting Su, Liangchao Yao, Ting Xiong, Wei Yang, Yuetang Deng, Assaf Marron, David Harel, Tao Xie
|
| 2025 |
J |
jnl |
CoRR
Hao Yu, Tianyu Chen, Jiaming Huang, Zongyang Li, Dezhi Ran, Xinyu Wang, Ying Li, Assaf Marron, David Harel, Yuan Xie, Tao Xie
|
| 2025 |
J |
jnl |
CoRR
Dezhi Ran, Shuxiao Xie, Mingfang Ji, Ziyue Hua, Mengzhou Wu, Yuan Cao, Yuzhe Guo, Hao Yu, Linyi Li, Yitao Hu, Tao Xie
|
| 2025 |
J |
jnl |
CoRR
Yibo He, Shuoran Zhao, Jiaming Huang, Yingjie Fu, Hao Yu, Cunjian Huang, Tao Xie
|
| 2025 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Hao Yu, Bo Shen, Jiaxin Zhang, Shaoxin Lin, Lin Li, Guangtai Liang, Ying Li, Qianxiang Wang, Tao Xie
|
| 2024 |
J |
jnl |
Proc. ACM Softw. Eng.
Yibo He, Jiaming Huang, Hao Yu, Tao Xie
|
| 2024 |
J |
jnl |
CoRR
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou
|
| 2024 |
J |
jnl |
CoRR
Dong Chen, Shaoxin Lin, Muhan Zeng, Daoguang Zan, Jian-Gang Wang, Anton Cheshkov, Jun Sun, Hao Yu, Guoliang Dong, Artem Aliev, Jie Wang, Xiao Cheng, Guangtai Liang, Yuchi Ma, Pan Bian, Tao Xie, Qianxiang Wang
|
| 2024 |
A* |
conf |
ICSE
Hao Yu, Bo Shen, Dezhi Ran, Jiaxin Zhang, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Qianxiang Wang, Tao Xie
|
| 2024 |
A* |
conf |
NeurIPS
Linyi Li, Shijie Geng, Zhenwen Li, Yibo He, Hao Yu, Ziyue Hua, Guanghan Ning, Siwei Wang, Tao Xie, Hongxia Yang
|
| 2024 |
J |
jnl |
CoRR
Linyi Li, Shijie Geng, Zhenwen Li, Yibo He, Hao Yu, Ziyue Hua, Guanghan Ning, Siwei Wang, Tao Xie, Hongxia Yang
|
| 2024 |
J |
jnl |
CoRR
Daoguang Zan, Zhirong Huang, Ailun Yu, Shaoxin Lin, Yifan Shi, Wei Liu, Dong Chen, Zongshuai Qi, Hao Yu, Lei Yu, Dezhi Ran, Muhan Zeng, Bo Shen, Pan Bian, Guangtai Liang, Bei Guan, Pengjie Huang, Tao Xie, Yongji Wang, Qianxiang Wang
|
| 2023 |
J |
jnl |
CoRR
Hao Yu, Bo Shen, Dezhi Ran, Jiaxin Zhang, Qi Zhang, Yuchi Ma, Guangtai Liang, Ying Li, Tao Xie, Qianxiang Wang
|
| 2023 |
A |
conf |
SANER
Xiaosong Huang, Yifan Wu, Hongyi Liu, Ying Li, Hao Yu, Dadi Guo, Zhonghai Wu
|
| 2022 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Hao Yu, Xing Hu, Ge Li, Ying Li, Qianxiang Wang, Tao Xie
|
| 2022 |
A* |
conf |
ICSE
Hao Yu, Yiling Lou, Ke Sun, Dezhi Ran, Tao Xie, Dan Hao, Ying Li, Ge Li, Qianxiang Wang
|
| 2021 |
— |
conf |
QRS Companion
Chuanjia Hou, Xiaotong Liu, Hao Yu, Tong Jia, Ying Li
|
| 2020 |
B |
conf |
APLAS
Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou
|
| 2019 |
A |
conf |
ICPC
Hao Yu, Wing Lam, Long Chen, Ge Li, Tao Xie, Qianxiang Wang
|