{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T06:13:12Z","timestamp":1758089592649,"version":"3.44.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1109\/dac63849.2025.11133064","type":"proceedings-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T17:35:41Z","timestamp":1757957741000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors"],"prefix":"10.1109","author":[{"given":"Renshuang","family":"Jiang","sequence":"first","affiliation":[{"name":"National University of Defense Technology,China"}]},{"given":"Pan","family":"Dong","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,China"}]},{"given":"Zhenling","family":"Duan","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,China"}]},{"given":"Yu","family":"Shi","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,China"}]},{"given":"Xiaoxiang","family":"Fang","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,China"}]},{"given":"Yan","family":"Ding","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,China"}]},{"given":"Jun","family":"Ma","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,China"}]},{"given":"Shuai","family":"Zhao","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University,China"}]},{"given":"Zhe","family":"Jiang","sequence":"additional","affiliation":[{"name":"Southeast University,China"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/2692956.2663188"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.3390\/app132312738"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/3385412.3386036"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/3510003.3510164"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/3477132.3483570"},{"key":"ref7","first-page":"6947","article-title":"TRust: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code[C]","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Bang"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/3542948"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1002\/stvr.1875"},{"key":"ref10","article-title":"Ldb: A large language model debugger via verifying runtime execution step-by-step[J]","author":"Zhong","year":"2024","journal-title":"arXiv preprint arXiv:2402.16906"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/3649828"},{"author":"Wu","article-title":"RustGen: An Augmentation Approach for Generating Compilable Rust Code with Large Language Models[J]","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/icse55347.2025.00022"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/3152042.3152052"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1609\/aaai.v35i17.17765"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-031-25891-6_38"},{"volume-title":"GPT-3.5","key":"ref18"},{"volume-title":"GPT-4","key":"ref19"},{"volume-title":"GPT-O1-Preview","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/3158154"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/3510454.3528640"},{"key":"ref24","article-title":"A survey of hallucination in large foundation models[J]","author":"Rawte","year":"2023","journal-title":"arXiv preprint arXiv:2309.05922"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/CVPR52733.2024.02553"},{"volume-title":"Forty-first International Conference on Machine Learning","author":"Chen","article-title":"Toward Adaptive Reasoning in Large Language Models with Thought Rollback[C]","key":"ref26"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/3676536.3676801"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.18653\/v1\/2024.acl-long.786"},{"key":"ref29","article-title":"Head-to-tail: How knowledgeable are large language models (llm)? AKA will llms replace knowledge graphs?[J]","author":"Sun","year":"2023","journal-title":"arXiv preprint arXiv:2308.10168"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.18653\/v1\/2024.findings-emnlp.432"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.4135\/9781412983761"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1037\/14162-000"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1145\/3158154"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/3360573"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1145\/3460120.3484541"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1145\/3542948"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1109\/INDIN41052.2019.8972014"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1109\/INDIN.2018.8471992"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/PRDC55274.2022.00015"},{"year":"2020","author":"Jung","article-title":"Understanding and evolving the Rust programming language[J]","key":"ref40"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1007\/s10664-024-10594-x"}],"event":{"name":"2025 62nd ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2025,6,22]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2025,6,25]]}},"container-title":["2025 62nd ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11132383\/11132091\/11133064.pdf?arnumber=11133064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T05:24:57Z","timestamp":1758000297000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11133064\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/dac63849.2025.11133064","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]}}}