{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:44:52Z","timestamp":1780994692866,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639103","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-7836-1246","authenticated-orcid":false,"given":"Wenzhang","family":"Yang","sequence":"first","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3185-9278","authenticated-orcid":false,"given":"Linhai","family":"Song","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, State College, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2979-7151","authenticated-orcid":false,"given":"Yinxing","family":"Xue","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. announcing-windows-11-insider-preview-build-25905. https:\/\/blogs.windows.com\/windows-insider\/2023\/07\/12\/announcing-windows-11-insider-preview-build-25905\/ Accessed: 2023-07-21."},{"key":"e_1_3_2_1_2_1","unstructured":"2023. The crate quote. https:\/\/crates.io\/crates\/quote Accessed: 2023-03-26."},{"key":"e_1_3_2_1_3_1","unstructured":"2023. The crate syn. https:\/\/crates.io\/crates\/syn Accessed: 2023-03-26."},{"key":"e_1_3_2_1_4_1","unstructured":"2023. diff. https:\/\/www.gnu.org\/software\/diffutils\/ Accessed: 2023-03-26."},{"key":"e_1_3_2_1_5_1","unstructured":"2023. Mental Semantic Details. https:\/\/sites.google.com\/view\/rust-lancet\/index Accessed: 2023-07-31."},{"key":"e_1_3_2_1_6_1","unstructured":"2023. OpenAI. https:\/\/openai.com\/ Accessed: 2023-03-26."},{"key":"e_1_3_2_1_7_1","unstructured":"2023. Reborrow in Rust. https:\/\/github.com\/rust-lang\/reference\/issues\/788 Accessed: 2023-03-26."},{"key":"e_1_3_2_1_8_1","unstructured":"2023. rustfmt. https:\/\/github.com\/rust-lang\/rustfmt Accessed: 2023-03-26."},{"key":"e_1_3_2_1_9_1","unstructured":"2024. Rustc. https:\/\/github.com\/rust-lang\/rust\/tree\/master\/tests Accessed: 2024-01-22."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3334480.3383069"},{"key":"e_1_3_2_1_11_1","volume-title":"Noah Rose Ledesma, and Premkumar T. Devanbu","author":"Ahmed Toufique","year":"2021","unstructured":"Toufique Ahmed, Noah Rose Ledesma, and Premkumar T. Devanbu. 2021. SYN-FIX: Automatically Fixing Syntax Errors using Compiler Diagnostics. CoRR abs\/2104.14671 (2021). arXiv:2104.14671 https:\/\/arxiv.org\/abs\/2104.14671"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510418"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183377.3183383"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00039"},{"key":"e_1_3_2_1_15_1","unstructured":"Matt Asay. 2020. Why AWS loves Rust and how we'd like to help. https:\/\/aws.amazon.com\/blogs\/opensource\/why-aws-loves-rust-and-how-wed-like-to-help\/"},{"key":"e_1_3_2_1_16_1","volume-title":"Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks. CoRR abs\/1603.06129","author":"Bhatia Sahil","year":"2016","unstructured":"Sahil Bhatia and Rishabh Singh. 2016. Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks. CoRR abs\/1603.06129 (2016). arXiv:1603.06129 http:\/\/arxiv.org\/abs\/1603.06129"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52237-7_9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3474624.3474650"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485498"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI'2017)","author":"Gupta Rahul","unstructured":"Rahul Gupta, Soham Pal, Aditya Kanade, and Shirish K. Shevade. 2017. DeepFix: Fixing Common C Language Errors by Deep Learning. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI'2017), San Francisco, California, USA. http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14603"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180181"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion58688.2023.00074"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384680"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678813"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00125"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598101"},{"key":"e_1_3_2_1_28_1","unstructured":"Steve Klabnik and Carol Nichols. 2023. The Rust programming language. No Starch Press."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09780-z"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00064"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182536"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3255177"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132786"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560422"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8667970"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330577"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330578"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241980"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00127"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340455"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61470-6_7"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2305.13884"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9077-5"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00112"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3443420"},{"key":"e_1_3_2_1_47_1","unstructured":"Redox. 2023. Redox- Your Next(Gen) OS. https:\/\/www.redox-os.org\/"},{"key":"e_1_3_2_1_48_1","volume-title":"Reasoning about programs in continuation-passing style. Lisp and symbolic computation 6","author":"Sabry Amr","year":"1993","unstructured":"Amr Sabry and Matthias Felleisen. 1993. Reasoning about programs in continuation-passing style. Lisp and symbolic computation 6 (1993), 289--360."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330219"},{"key":"e_1_3_2_1_50_1","unstructured":"Servo. 2023. Servo. https:\/\/servo.org\/"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510160"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931058"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491101.3519665"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180233"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092718"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180182"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/WACV56688.2023.00461"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/3524938.3525939"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3071750"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09920-w"},{"key":"e_1_3_2_1_62_1","volume-title":"PLATEAU@SPLASH '18.","author":"Zeng Anna","unstructured":"Anna Zeng and Will Crichton. 2018. Identifying Barriers to Adoption for Rust through Online Discourse. In PLATEAU@SPLASH '18. Boston, MA."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_22"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507748"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00126"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510164"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:11Z","timestamp":1750286951000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":66,"alternative-id":["10.1145\/3597503.3639103","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639103","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}