| 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 | 45 | 2024 |
| The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models H Li, Y Hao, Y Zhai, Z Qian arXiv preprint arXiv:2308.00245, 2023 | 43 | 2023 |
| 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 | 24 | 2020 |
| 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, ... 2022 Network and Distributed System Security Symposium, 2022 | 14 | 2022 |
| Poster: assisting static analysis with large language models: a chatgpt experiment H Li, Y Hao, Y Zhai, Z Qian 44th IEEE Symposium on Security and Privacy, SP, 21-25, 2023 | 3 | 2023 |
| Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks Y Zhai, Z Qian, C Song, M Sridharan, T Jaeger, P Yu, SV Krishnamurthy 33rd USENIX Security Symposium (USENIX Security 24), 1419-1434, 2024 | 2 | 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 |
| Preventing the Memory Errors in the Large-Scale C/C++ Software Y Zhai University of California, Riverside, 2023 | | 2023 |
| RUG: Turbo LLM for Rust Unit Test Generation X Cheng, F Sang, Y Zhai, X Zhang, T Kim Proceedings of the 47th IEEE/ACM International Conference on Software …, 0 | | |
ZHIYUN QIANUniversity of California, RiversideПотвърден имейл адрес: cs.ucr.edu