:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nitin, Vikram, Krishna, Rahul, Valle, Luiz Lemos do, Ray, Baishakhi
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2501.14257
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
by: Nitin, Vikram, et al.
Published: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
by: Gao, Yifei, et al.
Published: (2025)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
by: Nitin, Vikram, et al.
Published: (2025)

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)

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

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)

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
by: Yuan, Zhiqiang, et al.
Published: (2025)

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

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

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

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

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

Translating Large-Scale C Repositories to Idiomatic Rust
by: Dehghan, Saman, 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)

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

SafeTrans: LLM-assisted Transpilation from C to Rust
by: Farrukh, Muhammad, et al.
Published: (2025)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

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

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

o3-mini vs DeepSeek-R1: Which One is Safer?
by: Arrieta, Aitor, 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)

Towards Modified Condition/Decision Coverage of Rust
by: Zaeske, Wanja, et al.
Published: (2024)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
by: Bedell, Sarah, et al.
Published: (2026)

Translating C To Rust: Lessons from a User Study
by: Li, Ruishi, et al.
Published: (2024)

An Interactive Debugger for Rust Trait Errors
by: Gray, Gavin, 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)

Build-Aware Incremental C-to-Rust Migration via Skeleton-First Translation and Historical Knowledge Reuse
by: Wang, Shengbo, et al.
Published: (2026)

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

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
by: Khatry, Anirudh, et al.
Published: (2025)

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

SOSecure: Safer Code Generation with RAG and StackOverflow Discussions
by: Mukherjee, Manisha, et al.
Published: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

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