VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models

Συγγραφείς: Yang, Aidan Z.H., Takashima, Yoshiki, Paulsen, Brandon, Dodds, Josiah, Kroening, Daniel

Πηγή: 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

Συγγραφείς: Gao, Hongyan, Yang, Yibiao, Sun, Maolin, Wu, Jiangchang, Zhou, Yuming, Xu, Baowen

Πηγή: 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

Συγγραφείς: Drodt, Daniel, Hähnle, Reiner

Θεματικοί όροι: Programming Languages, Logic in Computer Science, 68Q60

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2602.22075

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

Συγγραφείς: Zhang, Chengquan, Feng, Yang, Zhang, Yaokun, Dai, Yuxuan, Xu, Baowen

Πηγή: 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

Συγγραφείς: Zimmer, Dominic, Schmidt, Andreas

Πηγή: 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

Συγγραφείς: Chen, Hung-Mao, He, Xu, Wang, Shu, Zhang, Xiaokuan, Sun, Kun

Θεματικοί όροι: Computer Science - Cryptography and Security, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2502.03271

Leveraging RAG-LLM to Translate C++ to Rust

Συγγραφείς: Okutan, Ahmet, Merten, Samuel, Michael, Christoph C., Ryjikov, Ben

Πηγή: 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

Συγγραφείς: Oishi, M., Tanaka, S., Takamaeda-Yamazaki, S.

Πηγή: IEEE Micro Micro, IEEE. 46(2):113-121 Apr, 2026

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

Συγγραφείς: Zhou, Han, Luo, Yu, Zhang, Mengtao, Xu, Dianxiang

Πηγή: 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

Συγγραφείς: Yang, Wenzhang, Song, Linhai, Xue, Yinxing

Πηγή: 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

Συγγραφείς: Cheng, Xiang, Park, Sangdon, Han, HyungSeok, Zhang, Xiaokuan, Kim, Taesoo

Πηγή: 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)

Συγγραφείς: Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2303.05491

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

Συγγραφείς: Cui, M., Xu, H., Tian, H., Zhou, Y.

Πηγή: 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

Συγγραφείς: Wu, Yufei, Hua, Baojian

Πηγή: 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

Συγγραφείς: Guo, Yongjian, Xiao, Xi, Lin, Yuanyi, Li, Hao, Wu, Xiangbo, Zhou, Tao

Πηγή: 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

Συγγραφείς: Foroushaani, Nima Rahimi, Jacobs, Bart

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2212.12976

Securing UnSafe Rust Programs with XRust

Συγγραφείς: Liu, Peiming, Zhao, Gang, Huang, Jeff

Πηγή: 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.

Συγγραφείς: Hong, Jaemin¹ (AUTHOR) jaemin.hong@kaist.ac.kr, Ryu, Sukyoung² (AUTHOR) sryu.cs@kaist.ac.kr

Πηγή: Communications of the ACM. Nov2025, Vol. 68 Issue 11, p58-65. 8p.

Θεματικοί όροι: *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

Συγγραφείς: Chen, Yongqian, Zhang, Junwei, Hu, Xing, Xia, Xin

Πηγή: 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

Συγγραφείς: Larsen, P.

Πηγή: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 22(4):22-29 Aug, 2024