{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T07:17:18Z","timestamp":1783408638551,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2321532, #2112562"],"award-info":[{"award-number":["CNS-2321532, #2112562"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786181.3788713","type":"proceedings-article","created":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T06:28:24Z","timestamp":1783405704000},"page":"121-125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards LLM-guided Semantic Validation of Autonomous Driving Safety Policies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2598-5988","authenticated-orcid":false,"given":"Qingzhao","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Arizona, Tucson, AZ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9844-2055","authenticated-orcid":false,"given":"Z. Morley","family":"Mao","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,6]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"2017. Automated Driving Systems 2.0: A Vision for Safety. https:\/\/www.nhtsa.gov\/sites\/nhtsa.dot.gov\/files\/documents\/13069a-ads2.0_090617_v9a_tag.pdf."},{"key":"e_1_3_3_1_3_2","unstructured":"2019. A Matter of Trust Ford\u2019s Approach to Developing Self-driving Vehicles. https:\/\/media.ford.com\/content\/dam\/fordmedia\/pdf\/Ford_AV_LLC_FINAL_HR_2.pdf."},{"key":"e_1_3_3_1_4_2","unstructured":"2019. General Motors 2018 Self-Driving Safety Report. https:\/\/www.gm.com\/content\/dam\/company\/docs\/us\/en\/gmcom\/gmsafetyreport.pdf."},{"key":"e_1_3_3_1_5_2","unstructured":"2020. Waymo Safety Report. https:\/\/waymo.com\/safety."},{"key":"e_1_3_3_1_6_2","unstructured":"2025. 2010 Georgia Code Title 40 - Motor Vehicles and Traffic. https:\/\/law.justia.com\/codes\/georgia\/2010\/title-40\/chapter-6\/article-5\/40-6-91."},{"key":"e_1_3_3_1_7_2","unstructured":"2025. ApolloAuto: An open autonomous driving platform. https:\/\/github.com\/ApolloAuto\/apollo."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i21.30540"},{"key":"e_1_3_3_1_9_2","volume-title":"California Driver Handbook","author":"Vehicles California Department of Motor","year":"2024","unstructured":"California Department of Motor Vehicles. 2024. California Driver Handbook. State of California. https:\/\/www.dmv.ca.gov\/portal\/handbook\/california-driver-handbook\/ Accessed: 2025-10-05."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598072"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695530"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-70879-4_14"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560558"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00012"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Haonan Li Yu Hao Yizhuo Zhai and Zhiyun Qian. 2024. Enhancing static analysis for practical bug detection: An llm-integrated approach. Proceedings of the ACM on Programming Languages 8 OOPSLA1 (2024) 474\u2013499.","DOI":"10.1145\/3649828"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Shenghao Lin Fansong Chen Laile Xi Gaosheng Wang Rongrong Xi Yuyan Sun and Hongsong Zhu. 2024. TM-fuzzer: fuzzing autonomous driving systems through traffic management. Automated Software Engineering 31 2 (2024) 61.","DOI":"10.1007\/s10515-024-00461-w"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Matt Luckcuck Marie Farrell Louise\u00a0A Dennis Clare Dixon and Michael Fisher. 2019. Formal specification and verification of autonomous robotic systems: A survey. ACM Computing Surveys (CSUR) 52 5 (2019) 1\u201341.","DOI":"10.1145\/3342355"},{"key":"e_1_3_3_1_18_2","unstructured":"Lezhi Ma Shangqing Liu Yi Li Xiaofei Xie and Lei Bu. 2024. Specgen: Automated generation of formal program specifications via large language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2401.08807 (2024)."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639187"},{"key":"e_1_3_3_1_20_2","volume-title":"Collision Between Vehicle Controlled by Developmental Automated Driving System and Pedestrian, Tempe, Arizona, March 18, 2018","author":"Board National Transportation Safety","year":"2019","unstructured":"National Transportation Safety Board. 2019. Collision Between Vehicle Controlled by Developmental Automated Driving System and Pedestrian, Tempe, Arizona, March 18, 2018. Technical Report HAR-19\/03. NTSB. https:\/\/www.ntsb.gov\/investigations\/accidentreports\/reports\/har1903.pdf"},{"key":"e_1_3_3_1_21_2","first-page":"4481","volume-title":"34th USENIX Security Symposium (USENIX Security 25)","author":"Nong Yu","year":"2025","unstructured":"Yu Nong, Haoran Yang, Long Cheng, Hongxin Hu, and Haipeng Cai. 2025. { APPATCH} : Automated Adaptive Prompting Large Language Models for { Real-World} Software Vulnerability Patching. In 34th USENIX Security Symposium (USENIX Security 25). 4481\u20134500."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995918"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/FLLM63129.2024.10852505"},{"key":"e_1_3_3_1_24_2","unstructured":"Shai Shalev-Shwartz Shaked Shammah and Amnon Shashua. 2017. On a Formal Model of Safe and Scalable Self-driving Cars. CoRR (2017)."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556897"},{"key":"e_1_3_3_1_26_2","volume-title":"Part 573 Safety Recall Report 23V-838: Autopilot Controls Insufficient to Prevent Misuse","author":"Inc. Tesla,","year":"2023","unstructured":"Tesla, Inc. and National Highway Traffic Safety Administration. 2023. Part 573 Safety Recall Report 23V-838: Autopilot Controls Insufficient to Prevent Misuse. Technical Report. NHTSA. https:\/\/static.nhtsa.gov\/odi\/rcl\/2023\/RCLRPT-23V838-8276.PDF"},{"key":"e_1_3_3_1_27_2","volume-title":"ISOC Network and Distributed Systems Security (NDSS) Symposium","author":"Wan Ziwen","year":"2022","unstructured":"Ziwen Wan, Junjie Shen, Jalen Chuang, Xin Xia, Joshua Garcia, Jiaqi Ma, and Qi\u00a0Alfred Chen. 2022. Too Afraid to Drive: Systematic Discovery of Semantic DoS Vulnerability in Autonomous Driving Planning under Physical-World Attacks. In ISOC Network and Distributed Systems Security (NDSS) Symposium."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680344"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52733.2024.01428"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65630-9_16"},{"key":"e_1_3_3_1_31_2","volume-title":"The Thirteenth International Conference on Learning Representations","author":"Yang Kairui","year":"2025","unstructured":"Kairui Yang, Zihao Guo, Gengjie Lin, Haotian Dong, Zhao Huang, Yipeng Wu, Die Zuo, Jibin Peng, Ziyuan Zhong, Xin Wang, et\u00a0al. 2025. Trajectory-llm: A language-based data generator for trajectory prediction in autonomous driving. In The Thirteenth International Conference on Learning Representations."},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Qingzhao Zhang David\u00a0Ke Hong Ze Zhang Qi\u00a0Alfred Chen Scott Mahlke and Z\u00a0Morley Mao. 2021. A systematic framework to identify violations of scenario-dependent driving rules in autonomous vehicle software. Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 2 (2021) 1\u201325.","DOI":"10.1145\/3460082"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Ziyuan Zhong Gail Kaiser and Baishakhi Ray. 2022. Neural network guided evolutionary fuzzing for finding traffic violations of autonomous vehicles. IEEE Transactions on Software Engineering 49 4 (2022) 1860\u20131875.","DOI":"10.1109\/TSE.2022.3195640"},{"key":"e_1_3_3_1_34_2","unstructured":"Yuan Zhou Yang Sun Yun Tang Yuqi Chen Jun Sun Christopher\u00a0M Poskitt Yang Liu and Zijiang Yang. 2023. Specification-based autonomous driving system testing. IEEE Transactions on Software Engineering 49 6 (2023) 3391\u20133410."}],"event":{"name":"LLM4Code '26: 3rd International Workshop on Large Language Models For Code","location":"Rio de Janeiro Brazil","acronym":"LLM4Code '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 3rd International Workshop on Large Language Models For Code"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786181.3788713","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786181.3788713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T06:34:49Z","timestamp":1783406089000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786181.3788713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":33,"alternative-id":["10.1145\/3786181.3788713","10.1145\/3786181"],"URL":"https:\/\/doi.org\/10.1145\/3786181.3788713","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}