VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models

Authors: Yang, Aidan Z.H., Takashima, Yoshiki, Paulsen, Brandon, Dodds, Josiah, Kroening, Daniel

Source: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :1453-1463 Nov, 2025

Relation: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs

Authors: Gao, Hongyan, Yang, Yibiao, Sun, Maolin, Wu, Jiangchang, Zhou, Yuming, Xu, Baowen

Source: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2025 IEEE/ACM 47th International Conference on. :1422-1435 Apr, 2025

Relation: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)

RustyDL: A Program Logic for Rust

Authors: Drodt, Daniel, Hähnle, Reiner

Subject Terms: Programming Languages, Logic in Computer Science, 68Q60

Access URL: http://arxiv.org/abs/2602.22075

Beyond Memory Safety: an Empirical Study on Bugs and Fixes of Rust Programs

Authors: Zhang, Chengquan, Feng, Yang, Zhang, Yaokun, Dai, Yuxuan, Xu, Baowen

Source: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2024 IEEE 24th International Conference on. :272-283 Jul, 2024

Relation: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)

Automated Fault Tree Generation for Rust Programs

Authors: Zimmer, Dominic, Schmidt, Andreas

Source: 2024 19th European Dependable Computing Conference (EDCC) EDCC Dependable Computing Conference (EDCC), 2024 19th European. :57-60 Apr, 2024

Relation: 2024 19th European Dependable Computing Conference (EDCC)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs

Authors: Chen, Hung-Mao, He, Xu, Wang, Shu, Zhang, Xiaokuan, Sun, Kun

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2502.03271

Leveraging RAG-LLM to Translate C++ to Rust

Authors: Okutan, Ahmet, Merten, Samuel, Michael, Christoph C., Ryjikov, Ben

Source: 2024 International Conference on Assured Autonomy (ICAA) ICAA Assured Autonomy (ICAA), 2024 International Conference on. :102-105 Oct, 2024

Relation: 2024 International Conference on Assured Autonomy (ICAA)

RustSFQ: A Rust-Based Domain-Specific Language for Efficient Single-Flux-Quantum Circuit Design

Authors: Oishi, M., Tanaka, S., Takamaeda-Yamazaki, S.

Source: IEEE Micro Micro, IEEE. 46(2):113-121 Apr, 2026

C2RustTV: An LLM-based Framework for C to Rust Translation and Validation

Authors: Zhou, Han, Luo, Yu, Zhang, Mengtao, Xu, Dianxiang

Source: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2025 IEEE 49th Annual. :1254-1259 Jul, 2025

Relation: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC)

Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation

Authors: Yang, Wenzhang, Song, Linhai, Xue, Yinxing

Source: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :1034-1046 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning

Authors: Cheng, Xiang, Park, Sangdon, Han, HyungSeok, Zhang, Xiaokuan, Kim, Taesoo

Source: 2026 56th Annual IEEE International Conference on Dependable Systems and Networks (DSN) DSN Dependable Systems and Networks (DSN), 2026 56th Annual IEEE International Conference on. :666-680 Jun, 2026

Relation: 2026 56th Annual IEEE International Conference on Dependable Systems and Networks (DSN)

Verus: Verifying Rust Programs using Linear Ghost Types (extended version)

Authors: Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2303.05491

rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust

Authors: Cui, M., Xu, H., Tian, H., Zhou, Y.

Source: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 50(9):2472-2484 Sep, 2024

RUSPATCH: Towards Timely and Effectively Patching Rust Applications

Authors: Wu, Yufei, Hua, Baojian

Source: 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS) QRS Software Quality, Reliability, and Security (QRS), 2023 IEEE 23rd International Conference on. :517-528 Oct, 2023

Relation: 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS)

Fuzz Testing for Rust Library Functions

Authors: Guo, Yongjian, Xiao, Xi, Lin, Yuanyi, Li, Hao, Wu, Xiangbo, Zhou, Tao

Source: 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) TRUSTCOM Trust, Security and Privacy in Computing and Communications (TrustCom), 2023 IEEE 22nd International Conference on. :990-997 Nov, 2023

Relation: 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

Modular Formal Verification of Rust Programs with Unsafe Blocks

Authors: Foroushaani, Nima Rahimi, Jacobs, Bart

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2212.12976

Securing UnSafe Rust Programs with XRust

Authors: Liu, Peiming, Zhao, Gang, Huang, Jeff

Source: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2020 IEEE/ACM 42nd International Conference on. :234-245 Oct, 2020

Relation: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)

Automatically Translating C to Rust.

Authors: Hong, Jaemin¹ (AUTHOR) jaemin.hong@kaist.ac.kr, Ryu, Sukyoung² (AUTHOR) sryu.cs@kaist.ac.kr

Source: Communications of the ACM. Nov2025, Vol. 68 Issue 11, p58-65. 8p.

Subject Terms: *C (Computer program language), *Programming languages, *Computer programming, *Legacy systems, Compilers (Computer programs), Language models, Translators (Computer programs)

Multi-Stage Generation of Rust Unit Tests with LLMs

Authors: Chen, Yongqian, Zhang, Junwei, Hu, Xing, Xia, Xin

Source: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2025 32nd Asia-Pacific. :431-442 Dec, 2025

Relation: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC)

Migrating C to Rust for Memory Safety

Authors: Larsen, P.

Source: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 22(4):22-29 Aug, 2024