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 | 19 | 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 | 7 | 2023 |
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 | 5 | 2024 |
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 | 1 | 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 | 1 | 2021 |