Debugging Multithreaded Programs as if They Were Sequential. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Yu Hao 006; Pei Liu; Lechen Yu; Ming Fan 002; Ting Liu 002 (SATE, 2016)

Automated Testing of Definition-Use Data Flow for Multithreaded Programs. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Pei Liu; Jialiang Chang; Yu Hao 006; Ting Liu 002 (ICST, 2017)

Debugging Multithreaded Programs as if They Were Sequential. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Yu Hao 006; Pei Liu; Lechen Yu; Ting Liu 002 (IEEE Access, 2018)

UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. - Yizhuo Zhai; Yu Hao 006; Hang Zhang 012; Daimeng Wang; Chengyu Song; Zhiyun Qian; Mohsen Lesani; Srikanth V. Krishnamurthy; Paul L. Yu (ESEC/SIGSOFT FSE, 2020)

Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling. - Xiaodong Zhang 014; Zijiang Yang 006; Qinghua Zheng; Yu Hao 006; Pei Liu; Ting Liu 002 (IEEE Trans. Software Eng., 2020)

Eluding ML-based Adblockers With Actionable Adversarial Examples. - Shitong Zhu; Zhongjie Wang 002; Xun Chen; Shasha Li 001; Keyu Man; Umar Iqbal 002; Zhiyun Qian; Kevin S. Chan; Srikanth V. Krishnamurthy; Zubair Shafiq; Yu Hao 006; Guoren Li; et al. (ACSAC, 2021)

Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison. - Zhongjie Wang 002; Shitong Zhu; Keyu Man; Pengxiong Zhu; Yu Hao 006; Zhiyun Qian; Srikanth V. Krishnamurthy; Tom La Porta; Michael J. De Lucia (MTD@CCS, 2021)

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels. - Hang Zhang 012; Weiteng Chen; Yu Hao 006; Guoren Li; Yizhuo Zhai; Xiaochen Zou; Zhiyun Qian (CCS, 2021)

Demystifying the Dependency Challenge in Kernel Fuzzing. - Yu Hao 006; Hang Zhang 012; Guoren Li; Xingyun Du; Zhiyun Qian; Ardalan Amiri Sani (ICSE, 2022)

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. - Yizhuo Zhai; Yu Hao 006; Zheng Zhang; Weiteng Chen; Guoren Li; Zhiyun Qian; Chengyu Song; Manu Sridharan; Srikanth V. Krishnamurthy; Trent Jaeger; Paul L. Yu (NDSS, 2022)

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. - Yang Liu 090; Zisen Xu; Ming Fan 002; Yu Hao 006; Kai Chen 012; Hao Chen 003; Yan Cai 001; Zijiang Yang 006; Ting Liu 002 (IEEE Trans. Reliab., 2022)

Assisting Static Analysis with Large Language Models: A ChatGPT Experiment. - Haonan Li; Yu Hao 006; Yizhuo Zhai; Zhiyun Qian (ESEC/SIGSOFT FSE, 2023)

SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers. - Yu Hao 006; Guoren Li; Xiaochen Zou; Weiteng Chen; Shitong Zhu; Zhiyun Qian; Ardalan Amiri Sani (SP, 2023)

The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models. - Haonan Li; Yu Hao 006; Yizhuo Zhai; Zhiyun Qian (CoRR, 2023)

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. - Yu Hao 006; Weiteng Chen; Ziqiao Zhou; Weidong Cui (CoRR, 2023)

SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem. - Xiaochen Zou; Yu Hao 006; Zheng Zhang; Juefei Pu; Weiteng Chen; Zhiyun Qian (NDSS, 2024)

SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing. - Weiteng Chen; Yu Hao 006; Zheng Zhang; Xiaochen Zou; Dhilung Kirat; Shachee Mishra; Douglas Lee Schales; Jiyong Jang; Zhiyun Qian (SP, 2024)

SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities. - Zheng Zhang; Yu Hao 006; Weiteng Chen; Xiaochen Zou; Xingyu Li; Haonan Li; Yizhuo Zhai; Zhiyun Qian; Billy Lau (USENIX Security Symposium, 2024)

Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach. - Haonan Li; Yu Hao 006; Yizhuo Zhai; Zhiyun Qian (Proc. ACM Program. Lang., 2024)

Expanding the Boundaries of OS Kernel Fuzzing - Yu Hao 006 (2024)

SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection. - Keyu Man; Zhongjie Wang 002; Yu Hao 006; Shenghan Zheng; Xin'an Zhou; Yue Cao 003; Zhiyun Qian (SP, 2025)