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)

RustyDL: A Program Logic for Rust

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

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

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

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)

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)

VeGo: Direct Deductive Formal Verification of Go Programs for Computer Science Education

Συγγραφείς: Massoudi, Tina, Dutchyn, Chris

Θεματικοί όροι: Programming Languages, D.2.1; D.2.4; F.3.1

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

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)

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

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

Coarse-Fine-Grained Automatic Modeling Method for Rust Features Based on HCPN

Συγγραφείς: Shi, Lei, Sun, Tao, Zhong, Wenjie

Πηγή: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual. :456-461 Jul, 2026

Relation: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC)

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)

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)

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)

PROCTOR: An Extensible C-to-Rust Translation Framework With Static-Analysis-Driven Plug-Ins

Συγγραφείς: Hong, J., Lee, K., Zhang, H., Kang, H., Kim, E., Restivo, J., Typaldos, T., Ijaz, R., Ryu, S., Shao, Z.

Πηγή: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 24(5):56-67 Jan, 2026

Securing Union-Based Type Punning in C-to-Rust Translation

Συγγραφείς: Kim, E., Ryu, S., Hong, J.

Πηγή: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 24(5):68-78 Jan, 2026

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)