| 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 | 84* | 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 | 31 | 2023 |
| Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features Y Zhang, Y Hu, H Li, W Shi, Z Ning, X Luo, F Zhang Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 3 | 2023 |
| A novel memory management for risc-v enclaves H Li, W Huang, M Ren, H Lu, Z Ning, H Cui, F Zhang Proceedings of the 10th International Workshop on Hardware and Architectural …, 2021 | 2 | 2021 |
| {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 |
Yizhuo ZhaiGeorgia Institute of Technologygatech.edu의 이메일 확인됨