Follow
Haonan Li
Title
Cited by
Cited by
Year
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
192023
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
72023
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
52024
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
12023
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
12021
The system can't perform the operation now. Try again later.
Articles 1–5