{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T21:52:06Z","timestamp":1783288326428,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","funder":[{"name":"NSF","award":["CCF-2131943"],"award-info":[{"award-number":["CCF-2131943"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,13]]},"DOI":"10.1145\/3731569.3764827","type":"proceedings-article","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:43:24Z","timestamp":1759322604000},"page":"655-669","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["KNighter: Transforming Static Analysis with LLM-Synthesized Checkers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7976-5086","authenticated-orcid":false,"given":"Chenyuan","family":"Yang","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-0718-3088","authenticated-orcid":false,"given":"Zijie","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-3905-3456","authenticated-orcid":false,"given":"Zichen","family":"Xie","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0084-1718","authenticated-orcid":false,"given":"Haoyu","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5175-2702","authenticated-orcid":false,"given":"Lingming","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Chromium. https:\/\/www.chromium.org\/chromium-projects\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Smatch. https:\/\/github.com\/error27\/smatch."},{"key":"e_1_3_2_1_3_1","unstructured":"Syzkaller. https:\/\/github.com\/google\/syzkaller\/."},{"key":"e_1_3_2_1_4_1","unstructured":"text-embedding-ada-002. https:\/\/openai.com\/index\/new-and-improved-embedding-model\/."},{"key":"e_1_3_2_1_5_1","volume-title":"Gpt-4 technical report. arXiv preprint arXiv:2303.08774","author":"Achiam J.","year":"2023","unstructured":"Achiam, J., Adler, S., Agarwal, S., Ahmad, L., Akkaya, I., Aleman, F. L., Almeida, D., Altenschmidt, J., Altman, S., Anadkat, S., et al. Gpt-4 technical report. arXiv preprint arXiv:2303.08774 (2023)."},{"key":"e_1_3_2_1_6_1","first-page":"2040","volume-title":"30th USENIX security symposium (USENIX Security 21)","author":"Ahmadi M.","year":"2021","unstructured":"Ahmadi, M., Farkhani, R. M., Williams, R., and Lu, L. Finding bugs using your own code: detecting functionally-similar yet inconsistent code. In 30th USENIX security symposium (USENIX Security 21) (2021), pp. 2025\u20132040."},{"key":"e_1_3_2_1_7_1","volume-title":"Using static analysis to find bugs","author":"Ayewah N.","year":"2008","unstructured":"Ayewah, N., Pugh, W., Hovemeyer, D., Morgenthaler, J. D., and Penix, J. Using static analysis to find bugs. IEEE software 25, 5 (2008), 22\u201329."},{"key":"e_1_3_2_1_8_1","first-page":"268","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Bai J.-J.","year":"2019","unstructured":"Bai, J.-J., Lawall, J., Chen, Q.-L., and Hu, S.-M. Effective static analysis of concurrency Use-After-Free bugs in linux device drivers. In 2019 USENIX Annual Technical Conference (USENIX ATC 19) (Renton, WA, July 2019), USENIX Association, pp. 255\u2013268."},{"key":"e_1_3_2_1_9_1","volume-title":"Syzretrospector: A large-scale retrospective study of syzbot","author":"Bursey J.","year":"2024","unstructured":"Bursey, J., Sani, A. A., and Qian, Z. Syzretrospector: A large-scale retrospective study of syzbot, 2024."},{"key":"e_1_3_2_1_10_1","first-page":"3744","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Cai Y.","year":"2023","unstructured":"Cai, Y., Yao, P., Ye, C., and Zhang, C. Place your locks well: understanding and detecting lock misuse bugs. In 32nd USENIX Security Symposium (USENIX Security 23) (2023), pp. 3727\u20133744."},{"key":"e_1_3_2_1_11_1","first-page":"1262","volume-title":"Proceedings of the Twentieth European Conference on Computer Systems","author":"Chen W.","year":"2025","unstructured":"Chen, W., Zhang, B., Wang, C., Tang, W., and Zhang, C. Seal: Towards diverse specification inference for linux interfaces from security patches. In Proceedings of the Twentieth European Conference on Computer Systems (2025), pp. 1246\u20131262."},{"key":"e_1_3_2_1_12_1","unstructured":"Clang and LLVM. Clang Static Analyzer. https:\/\/clang-analyzer.llvm.org\/."},{"key":"e_1_3_2_1_13_1","first-page":"435","volume-title":"Proceedings of the 32nd ACM SIGSOFT international symposium on software testing and analysis","author":"Deng Y.","year":"2023","unstructured":"Deng, Y., Xia, C. S., Peng, H., Yang, C., and Zhang, L. Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models. In Proceedings of the 32nd ACM SIGSOFT international symposium on software testing and analysis (2023), pp. 423\u2013435."},{"key":"e_1_3_2_1_14_1","volume-title":"Vul-rag: Enhancing llm-based vulnerability detection via knowledge-level rag. arXiv preprint arXiv:2406.11147","author":"Du X.","year":"2024","unstructured":"Du, X., Zheng, G., Wang, K., Feng, J., Deng, W., Liu, M., Chen, B., Peng, X., Ma, T., and Lou, Y. Vul-rag: Enhancing llm-based vulnerability detection via knowledge-level rag. arXiv preprint arXiv:2406.11147 (2024)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/502059.502041","article-title":"Bugs as deviant behavior: A general approach to inferring errors in systems code","volume":"35","author":"Engler D.","year":"2001","unstructured":"Engler, D., Chen, D. Y., Hallem, S., Chou, A., and Chelf, B. Bugs as deviant behavior: A general approach to inferring errors in systems code. ACM SIGOPS Operating Systems Review 35, 5 (2001), 57\u201372.","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"e_1_3_2_1_16_1","volume-title":"Retrieval-augmented generation for large language models: A survey. arXiv preprint arXiv:2312.10997 2","author":"Gao Y.","year":"2023","unstructured":"Gao, Y., Xiong, Y., Gao, X., Jia, K., Pan, J., Bi, Y., Dai, Y., Sun, J., Wang, H., and Wang, H. Retrieval-augmented generation for large language models: A survey. arXiv preprint arXiv:2312.10997 2 (2023)."},{"key":"e_1_3_2_1_17_1","unstructured":"GitHub. CodeQL. https:\/\/codeql.github.com\/."},{"key":"e_1_3_2_1_18_1","first-page":"51","volume-title":"Proceedings of the 29th Symposium on Operating Systems Principles","author":"Gong S.","year":"2023","unstructured":"Gong, S., Peng, D., Altinb\u00fcken, D., Fonseca, P., and Maniatis, P. Snowcat: Efficient kernel concurrency testing using a learned coverage predictor. In Proceedings of the 29th Symposium on Operating Systems Principles (2023), pp. 35\u201351."},{"key":"e_1_3_2_1_19_1","first-page":"1138","volume-title":"Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","volume":"2","author":"Gong S.","year":"2025","unstructured":"Gong, S., Wang, R., Altinb\u00fcken, D., Fonseca, P., and Maniatis, P. Snowplow: Effective kernel fuzzing with a learned white-box test mutator. In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (2025), pp. 1124\u20131138."},{"key":"e_1_3_2_1_20_1","volume-title":"The llama 3 herd of models. arXiv preprint arXiv:2407.21783","author":"Grattafiori A.","year":"2024","unstructured":"Grattafiori, A., Dubey, A., Jauhri, A., Pandey, A., Kadian, A., Al-Dahle, A., Letman, A., Mathur, A., Schelten, A., Vaughan, A., et al. The llama 3 herd of models. arXiv preprint arXiv:2407.21783 (2024)."},{"key":"e_1_3_2_1_21_1","first-page":"65","volume-title":"Proceedings of the 29th Symposium on Operating Systems Principles","author":"He L.","year":"2023","unstructured":"He, L., Su, P., Zhang, C., Cai, Y., and Ma, J. One simple api can cause hundreds of bugs an analysis of refcounting bugs in all modern linux kernels. In Proceedings of the 29th Symposium on Operating Systems Principles (2023), pp. 52\u201365."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/3703155","article-title":"A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions","volume":"43","author":"Huang L.","year":"2025","unstructured":"Huang, L., Yu, W., Ma, W., Zhong, W., Feng, Z., Wang, H., Chen, Q., Peng, W., Feng, X., Qin, B., et al. A survey on hallucination in large language models: Principles, taxonomy, challenges, and open questions. ACM Transactions on Information Systems 43, 2 (2025), 1\u201355.","journal-title":"ACM Transactions on Information Systems"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the ACM on Programming Languages 9, OOPSLA1","author":"Ji Y.","year":"2025","unstructured":"Ji, Y., Dai, T., Zhou, Z., Tang, Y., and He, J. Artemis: Toward accurate detection of server-side request forgeries through llm-assisted inter-procedural path-sensitive taint analysis. Proceedings of the ACM on Programming Languages 9, OOPSLA1 (2025), 1349\u20131377."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation (Boston, MA, USA, July 2025), OSDI '25, USENIX Association.","author":"Jiang Y.","unstructured":"Jiang, Y., Zhou, Z., Xu, B., Liu, B., Xu, R., and Huang, P. Training with confidence: Catching silent errors in deep learning training with automated proactive checks. In Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation (Boston, MA, USA, July 2025), OSDI '25, USENIX Association."},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the ACM on Programming Languages 7, OOPSLA1","author":"Lattuada A.","year":"2023","unstructured":"Lattuada, A., Hance, T., Cho, C., Brun, M., Subasinghe, I., Zhou, Y., Howell, J., Parno, B., and Hawblitzel, C. Verus: Verifying rust programs using linear ghost types. Proceedings of the ACM on Programming Languages 7, OOPSLA1 (2023), 286\u2013315."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the ACM on Programming Languages 8, OOPSLA1","author":"Li H.","year":"2024","unstructured":"Li, H., Hao, Y., Zhai, Y., and Qian, Z. Enhancing static analysis for practical bug detection: An llm-integrated approach. Proceedings of the ACM on Programming Languages 8, OOPSLA1 (2024), 474\u2013499."},{"key":"e_1_3_2_1_27_1","volume-title":"Automated static vulnerability detection via a holistic neuro-symbolic approach. arXiv preprint arXiv:2504.16057","author":"Li P.","year":"2025","unstructured":"Li, P., Yao, S., Korich, J. S., Luo, C., Yu, J., Cao, Y., and Yang, J. Automated static vulnerability detection via a holistic neuro-symbolic approach. arXiv preprint arXiv:2504.16057 (2025)."},{"key":"e_1_3_2_1_28_1","first-page":"6166","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Li T.","year":"2024","unstructured":"Li, T., Bai, J.-J., Han, G.-D., and Hu, S.-M. {LR-Miner}: Static race detection in {OS} kernels by mining locking rules. In 33rd USENIX Security Symposium (USENIX Security 24) (2024), pp. 6149\u20136166."},{"key":"e_1_3_2_1_29_1","first-page":"872","volume-title":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (New York, NY, USA, 2022), ASPLOS '22, Association for Computing Machinery","author":"Li T.","unstructured":"Li, T., Bai, J.-J., Sui, Y., and Hu, S.-M. Path-sensitive and alias-aware typestate analysis for detecting os bugs. In Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (New York, NY, USA, 2022), ASPLOS '22, Association for Computing Machinery, p. 859\u2013872."},{"key":"e_1_3_2_1_30_1","volume-title":"Llm-assisted static analysis for detecting security vulnerabilities. arXiv preprint arXiv:2405.17238","author":"Li Z.","year":"2024","unstructured":"Li, Z., Dutta, S., and Naik, M. Llm-assisted static analysis for detecting security vulnerabilities. arXiv preprint arXiv:2405.17238 (2024)."},{"key":"e_1_3_2_1_31_1","first-page":"3726","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Lin M.","year":"2023","unstructured":"Lin, M., Chen, K., and Xiao, Y. Detecting {API} {Post-Handling} bugs using code and description in patches. In 32nd USENIX Security Symposium (USENIX Security 23) (2023), pp. 3709\u20133726."},{"key":"e_1_3_2_1_32_1","first-page":"142","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Liu J.","year":"2022","unstructured":"Liu, J., Yi, L., Chen, W., Song, C., Qian, Z., and Yi, Q. LinKRID: Vetting imbalance reference counting in linux kernel with symbolic execution. In 31st USENIX Security Symposium (USENIX Security 22) (Boston, MA, Aug. 2022), USENIX Association, pp. 125\u2013142."},{"key":"e_1_3_2_1_33_1","first-page":"107","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Lou C.","year":"2022","unstructured":"Lou, C., Jing, Y., and Huang, P. Demystifying and checking silent semantic violations in large distributed systems. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22) (2022), pp. 91\u2013107."},{"key":"e_1_3_2_1_34_1","first-page":"38","volume-title":"19th USENIX Symposium on Operating Systems Design and Implementation (OSDI 25)","author":"Lou C.","year":"2025","unstructured":"Lou, C., Parikesit, D. S., Huang, Y., Yang, Z., Diwangkara, S., Jing, Y., Kistijantoro, A. I., Yuan, D., Nath, S., and Huang, P. Deriving semantic checkers from tests to detect silent failures in production distributed systems. In 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI 25) (2025), pp. 19\u201338."},{"key":"e_1_3_2_1_35_1","first-page":"1786","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Lu K.","year":"2019","unstructured":"Lu, K., Pakki, A., and Wu, Q. Detecting Missing-Check bugs via semantic-and Context-Aware criticalness and constraints inferences. In 28th USENIX Security Symposium (USENIX Security 19) (2019), pp. 1769\u20131786."},{"key":"e_1_3_2_1_36_1","first-page":"2113","volume-title":"2022 IEEE Symposium on Security and Privacy (SP)","author":"Lyu Y.","year":"2022","unstructured":"Lyu, Y., Fang, Y., Zhang, Y., Sun, Q., Ma, S., Bertino, E., Lu, K., and Li, J. Goshawk: Hunting memory corruptions via structure-aware and object-centric memory operation synopsis. In 2022 IEEE Symposium on Security and Privacy (SP) (2022), IEEE, pp. 2096\u20132113."},{"key":"e_1_3_2_1_37_1","first-page":"78053","article-title":"Kgym: A platform and dataset to benchmark large language models on linux kernel crash resolution","volume":"37","author":"Mathai A.","year":"2024","unstructured":"Mathai, A., Huang, C., Maniatis, P., Nogikh, A., Ivan\u010di\u0107, F., Yang, J., and Ray, B. Kgym: A platform and dataset to benchmark large language models on linux kernel crash resolution. Advances in Neural Information Processing Systems 37 (2024), 78053\u201378078.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_38_1","first-page":"377","volume-title":"Proceedings of the 25th Symposium on Operating Systems Principles","author":"Min C.","year":"2015","unstructured":"Min, C., Kashyap, S., Lee, B., Song, C., and Kim, T. Cross-checking semantic correctness: The case of finding file system bugs. In Proceedings of the 25th Symposium on Operating Systems Principles (2015), pp. 361\u2013377."},{"key":"e_1_3_2_1_39_1","unstructured":"Oracle. Kernel-Fuzzing. https:\/\/github.com\/oracle\/kernel-fuzzing."},{"key":"e_1_3_2_1_40_1","first-page":"36","volume-title":"Proceedings of the 2015 international symposium on software testing and analysis","author":"Qi Z.","year":"2015","unstructured":"Qi, Z., Long, F., Achour, S., and Rinard, M. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 international symposium on software testing and analysis (2015), pp. 24\u201336."},{"key":"e_1_3_2_1_41_1","unstructured":"Semgrep. Semgrep. https:\/\/github.com\/semgrep\/semgrep."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","first-page":"38889","DOI":"10.1109\/ACCESS.2025.3546700","article-title":"Finetuning large language models for vulnerability detection","volume":"13","author":"Shestov A.","year":"2025","unstructured":"Shestov, A., Levichev, R., Mussabayev, R., Maslov, E., Zadorozhny, P., Cheshkov, A., Mussabayev, R., Toleu, A., Tolegen, G., and Krassovitskiy, A. Finetuning large language models for vulnerability detection. IEEE Access 13 (2025), 38889\u201338900.","journal-title":"IEEE Access"},{"key":"e_1_3_2_1_43_1","first-page":"155","volume-title":"International Symposium on AI Verification","author":"Sun C.","year":"2024","unstructured":"Sun, C., Sheng, Y., Padon, O., and Barrett, C. Clover: Clo sedloop ver ifiable code generation. In International Symposium on AI Verification (2024), Springer, pp. 134\u2013155."},{"key":"e_1_3_2_1_44_1","volume-title":"Pearl: Prompting large language models to plan and execute actions over long documents. arXiv preprint arXiv:2305.14564","author":"Sun S.","year":"2023","unstructured":"Sun, S., Liu, Y., Wang, S., Zhu, C., and Iyyer, M. Pearl: Prompting large language models to plan and execute actions over long documents. arXiv preprint arXiv:2305.14564 (2023)."},{"key":"e_1_3_2_1_45_1","first-page":"508","volume-title":"2024 USENIX Annual Technical Conference (USENIX ATC 24)","author":"Suzuki K.","year":"2024","unstructured":"Suzuki, K., Ishiguro, K., and Kono, K. Balancing analysis time and bug detection: daily development-friendly bug detection in linux. In 2024 USENIX Annual Technical Conference (USENIX ATC 24) (2024), pp. 493\u2013508."},{"key":"e_1_3_2_1_46_1","volume-title":"Gemini: a family of highly capable multimodal models. arXiv preprint arXiv:2312.11805","author":"Team G.","year":"2023","unstructured":"Team, G., Anil, R., Borgeaud, S., Alayrac, J.-B., Yu, J., Soricut, R., Schalkwyk, J., Dai, A. M., Hauth, A., Millican, K., et al. Gemini: a family of highly capable multimodal models. arXiv preprint arXiv:2312.11805 (2023)."},{"key":"e_1_3_2_1_47_1","volume-title":"Boosting static resource leak detection via llm-based resource-oriented intention inference","author":"Wang C.","year":"2024","unstructured":"Wang, C., Liu, J., Peng, X., Liu, Y., and Lou, Y. Boosting static resource leak detection via llm-based resource-oriented intention inference, 2024."},{"key":"e_1_3_2_1_48_1","volume-title":"Self-consistency improves chain of thought reasoning in language models. arXiv preprint arXiv:2203.11171","author":"Wang X.","year":"2022","unstructured":"Wang, X., Wei, J., Schuurmans, D., Le, Q., Chi, E., Narang, S., Chowdhery, A., and Zhou, D. Self-consistency improves chain of thought reasoning in language models. arXiv preprint arXiv:2203.11171 (2022)."},{"key":"e_1_3_2_1_49_1","first-page":"1494","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE)","author":"Xia C. S.","year":"2023","unstructured":"Xia, C. S., Wei, Y., and Zhang, L. Automated program repair in the era of large pre-trained language models. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE) (2023), IEEE, pp. 1482\u20131494."},{"key":"e_1_3_2_1_50_1","first-page":"831","volume-title":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Xia C. S.","year":"2024","unstructured":"Xia, C. S., and Zhang, L. Automated program repair via conversation: Fixing 162 out of 337 bugs for $0.42 each using chatgpt. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (2024), pp. 819\u2013831."},{"key":"e_1_3_2_1_51_1","first-page":"337","volume-title":"Proceedings of the 40th International Conference on Software Engineering (New York, NY, USA, 2018), ICSE '18, Association for Computing Machinery","author":"Yan H.","unstructured":"Yan, H., Sui, Y., Chen, S., and Xue, J. Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities. In Proceedings of the 40th International Conference on Software Engineering (New York, NY, USA, 2018), ICSE '18, Association for Computing Machinery, p. 327\u2013337."},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the ACM on Programming Languages 8, OOPSLA2","author":"Yang C.","year":"2024","unstructured":"Yang, C., Deng, Y., Lu, R., Yao, J., Liu, J., Jabbarvand, R., and Zhang, L. Whitefox: White-box compiler fuzzing empowered by large language models. Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024), 709\u2013735."},{"key":"e_1_3_2_1_53_1","first-page":"1186","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE)","author":"Yang C.","year":"2023","unstructured":"Yang, C., Deng, Y., Yao, J., Tu, Y., Li, H., and Zhang, L. Fuzzing automatic differentiation in deep-learning libraries. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE) (2023), IEEE, pp. 1174\u20131186."},{"key":"e_1_3_2_1_54_1","volume-title":"Proceedings of the ACM on Programming Languages 9, OOPSLA2","author":"Yang C.","year":"2025","unstructured":"Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S. K., Lorch, J. R., Lu, S., Yang, F., Zhou, Z., and Lu, S. Autoverus: Automated proof generation for rust code. Proceedings of the ACM on Programming Languages 9, OOPSLA2 (2025)."},{"key":"e_1_3_2_1_55_1","first-page":"573","volume-title":"ASPLOS '25","author":"Yang C.","unstructured":"Yang, C., Zhao, Z., and Zhang, L. Kernelgpt: Enhanced kernel fuzzing via large language models. ASPLOS '25, Association for Computing Machinery, p. 560\u2013573."},{"key":"e_1_3_2_1_56_1","first-page":"232","volume-title":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Zhai Y.","year":"2020","unstructured":"Zhai, Y., Hao, Y., Zhang, H., Wang, D., Song, C., Qian, Z., Lesani, M., Krishnamurthy, S. V., and Yu, P. Ubitect: a precise and scalable method to detect use-before-initialization bugs in linux kernel. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2020), pp. 221\u2013232."},{"key":"e_1_3_2_1_57_1","volume-title":"Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings","author":"Zhang C.","year":"2024","unstructured":"Zhang, C., Liu, H., Zeng, J., Yang, K., Li, Y., and Li, H. Prompt-enhanced software vulnerability detection using chatgpt. In Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings (New York, NY, USA, 2024), ICSE-Companion '24, Association for Computing Machinery, p. 276\u2013277."},{"key":"e_1_3_2_1_58_1","first-page":"824","volume-title":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (New York, NY, USA, 2021), CCS '21, Association for Computing Machinery","author":"Zhang H.","unstructured":"Zhang, H., Chen, W., Hao, Y., Li, G., Zhai, Y., Zou, X., and Qian, Z. Statically discovering high-order taint style vulnerabilities in os kernels. In Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (New York, NY, USA, 2021), CCS '21, Association for Computing Machinery, p. 811\u2013824."}],"event":{"name":"SOSP '25: ACM SIGOPS 31st Symposium on Operating Systems Principles","location":"Lotte Hotel World Seoul Republic of Korea","acronym":"SOSP '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles"],"original-title":[],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:56:02Z","timestamp":1759323362000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731569.3764827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":58,"alternative-id":["10.1145\/3731569.3764827","10.1145\/3731569"],"URL":"https:\/\/doi.org\/10.1145\/3731569.3764827","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]},"assertion":[{"value":"2025-10-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}