Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sim, HoHyun, Cho, Hyeonjoong, Go, Yeonghyeon, Zarkouei, Sadegh AlMahdi Kazemi, Fu, Zhoulai, Shokri, Ali, Ravindran, Binoy
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
von: Sim, Hohyun, et al.
Veröffentlicht: (2026)

Scalable Floating-Point Satisfiability via Staged Optimization
von: Zhang, Yuanzhuo, et al.
Veröffentlicht: (2026)

Augmented Weak Distance for Fast and Accurate Bounds Checking
von: Fu, Zhoulai, et al.
Veröffentlicht: (2025)

Capturing the Effects of Quantization on Trojans in Code LLMs
von: Hussain, Aftab, et al.
Veröffentlicht: (2025)

Formally Verified Binary-level Pointer Analysis
von: Verbeek, Freek, et al.
Veröffentlicht: (2025)

Risk Management for Mitigating Benchmark Failure Modes: BenchRisk
von: McGregor, Sean, et al.
Veröffentlicht: (2025)

From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
von: Alfageeh, Ali, et al.
Veröffentlicht: (2025)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

Q-DIVER: Integrated Quantum Transfer Learning and Differentiable Quantum Architecture Search with EEG Data
von: Park, Junghoon Justin, et al.
Veröffentlicht: (2026)

SafeMIL: Learning Offline Safe Imitation Policy from Non-Preferred Trajectories
von: Burnwal, Returaj, et al.
Veröffentlicht: (2025)

The Hidden Power of Pure 16-bit Floating-Point Neural Networks
von: Yun, Juyoung, et al.
Veröffentlicht: (2023)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
von: Li, Tianyu, et al.
Veröffentlicht: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
von: Engel, Daniel, et al.
Veröffentlicht: (2026)

OSIL: Learning Offline Safe Imitation Policies with Safety Inferred from Non-preferred Trajectories
von: Burnwal, Returaj, et al.
Veröffentlicht: (2026)

Hidden in the Metadata: Stealth Poisoning Attacks on Multimodal Retrieval-Augmented Generation
von: Edemacu, Kennedy, et al.
Veröffentlicht: (2026)

OmniLocalRF: Omnidirectional Local Radiance Fields from Dynamic Videos
von: Choi, Dongyoung, et al.
Veröffentlicht: (2024)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
von: Ou, Guangsheng, et al.
Veröffentlicht: (2024)

Revisiting 16-bit Neural Network Training: A Practical Approach for Resource-Limited Learning
von: Yun, Juyoung, et al.
Veröffentlicht: (2023)

HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection
von: Shastri, Jaidev, et al.
Veröffentlicht: (2024)

USP Field Theory — Black Holes and Gravitational Waves (USP Limit & Foam Oscillations, Refined)
von: Sepehri, Sadegh
Veröffentlicht: (2025)

Haunted Geographies of War and Disaster: Embodied Geographies of Remains and the Feminist Political Ecology of Memory
von: Parvathy Binoy
Veröffentlicht: (2026)

SafeTrans: LLM-assisted Transpilation from C to Rust
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2025)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
von: Wang, Chaofan, et al.
Veröffentlicht: (2025)

&inator: Correct, Precise C-to-Rust Interface Translation
von: Chen, Victor, et al.
Veröffentlicht: (2026)

Code Quality Analysis of Translations from C to Rust
von: Tadesse, Biruk, et al.
Veröffentlicht: (2026)

Translating Large-Scale C Repositories to Idiomatic Rust
von: Dehghan, Saman, et al.
Veröffentlicht: (2025)

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

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
von: Yan, Yanyan, et al.
Veröffentlicht: (2026)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
von: Dai, Yuxuan, et al.
Veröffentlicht: (2025)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
von: Braunsdorf, Oliver, et al.
Veröffentlicht: (2025)

Charon: An Analysis Framework for Rust
von: Ho, Son, et al.
Veröffentlicht: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
von: Gao, Yifei, et al.
Veröffentlicht: (2025)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
von: Hong, Jaemin, et al.
Veröffentlicht: (2024)

Translating C To Rust: Lessons from a User Study
von: Li, Ruishi, et al.
Veröffentlicht: (2024)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
von: Luo, Feng, et al.
Veröffentlicht: (2025)

Cloud Integration for Legacy Application
von: Binoy Kurikaparambil Revi
Veröffentlicht: (2020)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
von: Majumdar, Rupak, et al.
Veröffentlicht: (2026)

Evaluating Driver Readiness in Conditionally Automated Vehicles from Eye-Tracking Data and Head Pose
von: Kazemi, Mostafa, et al.
Veröffentlicht: (2024)

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

BeePL: Correct-by-compilation kernel extensions
von: Priya, Swarn, et al.
Veröffentlicht: (2025)