| Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach H Li, Y Hao, Y Zhai, Z Qian Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 474-499, 2024 | 86* | 2024 |
| Assisting static analysis with large language models: A chatgpt experiment H Li, Y Hao, Y Zhai, Z Qian Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 34 | 2023 |
| Statically discovering high-order taint style vulnerabilities in os kernels H Zhang, W Chen, Y Hao, G Li, Y Zhai, X Zou, Z Qian Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 24 | 2021 |
| UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel Y Zhai, Y Hao, H Zhang, D Wang, C Song, Z Qian, M Lesani, ... Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 22 | 2020 |
| SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers Y Hao, G Li, X Zou, W Chen, S Zhu, Z Qian, AA Sani 2023 IEEE Symposium on Security and Privacy (SP), 3262-3278, 2023 | 18 | 2023 |
| Demystifying the dependency challenge in kernel fuzzing Y Hao, H Zhang, G Li, X Du, Z Qian, AA Sani Proceedings of the 44th International Conference on Software Engineering …, 2022 | 17 | 2022 |
| Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel Y Zhai, Y Hao, Z Zhang, W Chen, G Li, Z Qian, C Song, M Sridharan, ... | 14 | 2022 |
| E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification Y Hao, W Chen, Z Zhou, W Cui arXiv preprint arXiv:2312.08477, 2023 | 12 | 2023 |
| Eluding ml-based adblockers with actionable adversarial examples S Zhu, Z Wang, X Chen, S Li, K Man, U Iqbal, Z Qian, KS Chan, ... Proceedings of the 37th Annual Computer Security Applications Conference …, 2021 | 11* | 2021 |
| Automated testing of definition-use data flow for multithreaded programs X Zhang, Z Yang, Q Zheng, P Liu, J Chang, Y Hao, T Liu 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 7 | 2017 |
| Themis: Ambiguity-aware network intrusion detection based on symbolic model comparison Z Wang, S Zhu, K Man, P Zhu, Y Hao, Z Qian, SV Krishnamurthy, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 6 | 2021 |
| Concspectre: Be aware of forthcoming malware hidden in concurrent programs Y Liu, Z Xu, M Fan, Y Hao, K Chen, H Chen, Y Cai, Z Yang, T Liu IEEE Transactions on Reliability 71 (2), 1174-1188, 2022 | 5 | 2022 |
| SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing W Chen, Y Hao, Z Zhang, X Zou, D Kirat, S Mishra, D Schales, J Jang, ... IEEE Symposium on Security and Privacy, 2024 | 3 | 2024 |
| Syzbridge: Bridging the gap in exploitability assessment of linux kernel bugs in the linux ecosystem X Zou, Y Hao, Z Zhang, J Pu, W Chen, Z Qian NDSS, 2024 | 3 | 2024 |
| Tell you a definite answer: Whether your data is tainted during thread scheduling X Zhang, Z Yang, Q Zheng, Y Hao, P Liu, T Liu IEEE Transactions on Software Engineering 46 (9), 916-931, 2018 | 3 | 2018 |
| Debugging multithreaded programs as if they were sequential X Zhang, Z Yang, Q Zheng, Y Hao, P Liu, L Yu, T Liu IEEE Access 6, 40024-40040, 2018 | 3 | 2018 |
| SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection K Man, Z Wang, Y Hao, S Zheng, Y Cao, Z Qian 2025 IEEE Symposium on Security and Privacy (SP), 68-68, 2024 | | 2024 |
| {SymBisect}: Accurate Bisection for {Fuzzer-Exposed} Vulnerabilities Z Zhang, Y Hao, W Chen, X Zou, X Li, H Li, Y Zhai, B Lau 33rd USENIX Security Symposium (USENIX Security 24), 2493-2510, 2024 | | 2024 |
| TAINT ANALYSIS METHOD EMPLOYING SYMBOLIC COMPUTATION AND USED FOR DYNAMIC PARALLEL PROGRAM LIUP LIU Ting, ZHENG Qinghua, ZHANG Xiaodong, HAO Yu, YIN Wenhao CN Patent WO/2017/181,628, 2017 | | 2017 |
ZHIYUN QIANUniversity of California, RiversideVerificeret mail på cs.ucr.edu