:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zaeske, Wanja, Albini, Pietro, Gilcher, Florian, Durak, Umut
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2409.08708
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modified Condition/Decision Coverage in the GNU Compiler Collection
by: Kvalsvik, Jørgen
Published: (2025)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
by: Chu, Bei, et al.
Published: (2025)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
by: Cai, Xuemeng, et al.
Published: (2025)

Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs
by: Fortunato, Daniel, et al.
Published: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
by: Ou, Guangsheng, et al.
Published: (2024)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
by: Eniser, Hasan Ferit, et al.
Published: (2024)

Towards a Transpiler for C/C++ to Safer Rust
by: Tripuramallu, Dhiren, et al.
Published: (2024)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
by: Nitin, Vikram, et al.
Published: (2025)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
by: Jiang, Renshuang, et al.
Published: (2026)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
by: Yan, Yanyan, et al.
Published: (2026)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
by: Shiraishi, Momoko, et al.
Published: (2024)

Code Quality Analysis of Translations from C to Rust
by: Tadesse, Biruk, et al.
Published: (2026)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
by: Liang, Linxi, et al.
Published: (2025)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
by: Hong, Jaemin, et al.
Published: (2024)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
by: Farrukh, Muhammad, et al.
Published: (2026)

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
by: Nitin, Vikram, et al.
Published: (2023)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
by: Luo, Feng, et al.
Published: (2025)

Documentation-Guided Agentic Codebase Migration from C to Rust
by: Le-Anh, Minh, et al.
Published: (2026)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
by: Wang, Chaofan, et al.
Published: (2025)

Metamorphic Coverage
by: Ba, Jinsheng, et al.
Published: (2025)

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
by: Molz, Marius, et al.
Published: (2026)

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
by: Feng, Jia, et al.
Published: (2026)

A first look at ROS 2 applications written in asynchronous Rust
by: Škoudlil, Martin, et al.
Published: (2025)

An Interactive Debugger for Rust Trait Errors
by: Gray, Gavin, et al.
Published: (2025)

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
by: Ni, Yunbo, et al.
Published: (2024)

A Preliminary Study of Fixed Flaky Tests in Rust Projects on GitHub
by: Schroeder, Tom, et al.
Published: (2025)

Analyzing the Instability of Large Language Models in Automated Bug Injection and Correction
by: Er, Mehmet Bilal, et al.
Published: (2025)

How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
by: Zhang, Yuxia, et al.
Published: (2024)

Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust
by: Küsters, Aaron, et al.
Published: (2024)

Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents
by: Xiang, Jiahong, et al.
Published: (2026)

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
by: Gao, Hongyan, et al.
Published: (2026)

Rusty Linux: Advances in Rust for Linux Kernel Development
by: Panter, Shane K., et al.
Published: (2024)

SandCell: Sandboxing Rust Beyond Unsafe Code
by: Zhang, Jialun, et al.
Published: (2025)

Translating Large-Scale C Repositories to Idiomatic Rust
by: Dehghan, Saman, et al.
Published: (2025)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
by: P, Akilesh, et al.
Published: (2026)

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust
by: Cui, Mohan, et al.
Published: (2023)

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
by: Di, Nongyu, et al.
Published: (2026)

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
by: Yoshimura, Nao, et al.
Published: (2025)

Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
by: Hong, Jaemin, et al.
Published: (2025)