Yu Hao

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Concurrent Programs

Static Analysis

Top Venues

IEEE Trans. Reliab.

Publications

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Zheng Zhang, Yu Hao, Weiteng Chen, Xiaochen Zou, Xingyu Li, Haonan Li, Yizhuo Zhai, Zhiyun Qian, Billy Lau
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities. USENIX Security Symposium (2024)
Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers. SP (2023)
Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. CoRR (2023)
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models. CoRR (2023)
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
Assisting Static Analysis with Large Language Models: A ChatGPT Experiment. ESEC/SIGSOFT FSE (2023)
Yang Liu, Zisen Xu, Ming Fan, Yu Hao, Kai Chen, Hao Chen, Yan Cai, Zijiang Yang, Ting Liu
ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. IEEE Trans. Reliab. 71 (2) (2022)
Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. NDSS (2022)
Yu Hao, Hang Zhang, Guoren Li, Xingyun Du, Zhiyun Qian, Ardalan Amiri Sani
Demystifying the Dependency Challenge in Kernel Fuzzing. ICSE (2022)
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Ting Liu
Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling. IEEE Trans. Software Eng. 46 (9) (2020)
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ting Liu
Debugging Multithreaded Programs as if They Were Sequential. IEEE Access 6 (2018)
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu
Automated Testing of Definition-Use Data Flow for Multithreaded Programs. ICST (2017)
Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Yu Hao, Pei Liu, Lechen Yu, Ming Fan, Ting Liu
Debugging Multithreaded Programs as if They Were Sequential. SATE (2016)