ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
Fuente:
arXiv
Salvato in:
| Autori principali: | Farrukh, Muhammad, Coskun, Baris, Palit, Tapti, Polychronakis, Michalis |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
SafeTrans: LLM-assisted Transpilation from C to Rust
di: Farrukh, Muhammad, et al.
Pubblicazione: (2025)
di: Farrukh, Muhammad, et al.
Pubblicazione: (2025)
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
di: Bai, Yubo, et al.
Pubblicazione: (2025)
di: Bai, Yubo, et al.
Pubblicazione: (2025)
PhaseSeed: Precise Call Graph Construction for Split-Phase Applications using Dynamic Seeding
di: Palit, Tapti, et al.
Pubblicazione: (2025)
di: Palit, Tapti, et al.
Pubblicazione: (2025)
Towards a Transpiler for C/C++ to Safer Rust
di: Tripuramallu, Dhiren, et al.
Pubblicazione: (2024)
di: Tripuramallu, Dhiren, et al.
Pubblicazione: (2024)
Documentation-Guided Agentic Codebase Migration from C to Rust
di: Le-Anh, Minh, et al.
Pubblicazione: (2026)
di: Le-Anh, Minh, et al.
Pubblicazione: (2026)
LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
di: Bedell, Sarah, et al.
Pubblicazione: (2026)
di: Bedell, Sarah, et al.
Pubblicazione: (2026)
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
di: Khatry, Anirudh, et al.
Pubblicazione: (2025)
di: Khatry, Anirudh, et al.
Pubblicazione: (2025)
VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
di: Feng, Jia, et al.
Pubblicazione: (2026)
di: Feng, Jia, et al.
Pubblicazione: (2026)
Guess & Sketch: Language Model Guided Transpilation
di: Lee, Celine, et al.
Pubblicazione: (2023)
di: Lee, Celine, et al.
Pubblicazione: (2023)
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
di: Nitin, Vikram, et al.
Pubblicazione: (2025)
di: Nitin, Vikram, et al.
Pubblicazione: (2025)
C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
di: Yan, Yanyan, et al.
Pubblicazione: (2026)
di: Yan, Yanyan, et al.
Pubblicazione: (2026)
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
di: Cai, Xuemeng, et al.
Pubblicazione: (2025)
di: Cai, Xuemeng, et al.
Pubblicazione: (2025)
SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
di: Shiraishi, Momoko, et al.
Pubblicazione: (2024)
di: Shiraishi, Momoko, et al.
Pubblicazione: (2024)
Code Quality Analysis of Translations from C to Rust
di: Tadesse, Biruk, et al.
Pubblicazione: (2026)
di: Tadesse, Biruk, et al.
Pubblicazione: (2026)
Generating refactored code accurately using reinforcement learning
di: Palit, Indranil, et al.
Pubblicazione: (2024)
di: Palit, Indranil, et al.
Pubblicazione: (2024)
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
di: Hong, Jaemin, et al.
Pubblicazione: (2024)
di: Hong, Jaemin, et al.
Pubblicazione: (2024)
Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
di: Luo, Feng, et al.
Pubblicazione: (2025)
di: Luo, Feng, et al.
Pubblicazione: (2025)
RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
di: Ou, Guangsheng, et al.
Pubblicazione: (2024)
di: Ou, Guangsheng, et al.
Pubblicazione: (2024)
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
di: Wang, Chaofan, et al.
Pubblicazione: (2025)
di: Wang, Chaofan, et al.
Pubblicazione: (2025)
STELP: Secure Transpilation and Execution of LLM-Generated Programs
di: Shinde, Swapnil, et al.
Pubblicazione: (2026)
di: Shinde, Swapnil, et al.
Pubblicazione: (2026)
MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
di: Molz, Marius, et al.
Pubblicazione: (2026)
di: Molz, Marius, et al.
Pubblicazione: (2026)
Demystifying the Lifecycle of Failures in Platform-Orchestrated Agentic Workflows
di: Ma, Xuyan, et al.
Pubblicazione: (2025)
di: Ma, Xuyan, et al.
Pubblicazione: (2025)
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)
ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
di: Sim, Hohyun, et al.
Pubblicazione: (2026)
di: Sim, Hohyun, et al.
Pubblicazione: (2026)
LLM-Powered Quantum Code Transpilation
di: Siavash, Nazanin, et al.
Pubblicazione: (2025)
di: Siavash, Nazanin, et al.
Pubblicazione: (2025)
AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
di: Jiang, Renshuang, et al.
Pubblicazione: (2026)
di: Jiang, Renshuang, et al.
Pubblicazione: (2026)
Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
di: Bhatia, Rishipal Singh
Pubblicazione: (2026)
di: Bhatia, Rishipal Singh
Pubblicazione: (2026)
Towards Modified Condition/Decision Coverage of Rust
di: Zaeske, Wanja, et al.
Pubblicazione: (2024)
di: Zaeske, Wanja, et al.
Pubblicazione: (2024)
Translating Large-Scale C Repositories to Idiomatic Rust
di: Dehghan, Saman, et al.
Pubblicazione: (2025)
di: Dehghan, Saman, et al.
Pubblicazione: (2025)
AgenticSZZ: Temporal Knowledge Graph-Guided Agentic Bug-Inducing Commit Identification
di: Shi, Yu, et al.
Pubblicazione: (2026)
di: Shi, Yu, et al.
Pubblicazione: (2026)
SBOMs into Agentic AIBOMs: Schema Extensions, Agentic Orchestration, and Reproducibility Evaluation
di: Radanliev, Petar, et al.
Pubblicazione: (2026)
di: Radanliev, Petar, et al.
Pubblicazione: (2026)
Build-Aware Incremental C-to-Rust Migration via Skeleton-First Translation and Historical Knowledge Reuse
di: Wang, Shengbo, et al.
Pubblicazione: (2026)
di: Wang, Shengbo, et al.
Pubblicazione: (2026)
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
di: Hong, Jaemin, et al.
Pubblicazione: (2025)
di: Hong, Jaemin, et al.
Pubblicazione: (2025)
Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
di: Abdelrazek, Zeyad, et al.
Pubblicazione: (2026)
di: Abdelrazek, Zeyad, et al.
Pubblicazione: (2026)
Agentic RAG for Software Testing with Hybrid Vector-Graph and Multi-Agent Orchestration
di: Hariharan, Mohanakrishnan, et al.
Pubblicazione: (2025)
di: Hariharan, Mohanakrishnan, et al.
Pubblicazione: (2025)
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended)
di: Wesley, Scott
Pubblicazione: (2024)
di: Wesley, Scott
Pubblicazione: (2024)
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
di: Nitin, Vikram, et al.
Pubblicazione: (2023)
di: Nitin, Vikram, et al.
Pubblicazione: (2023)
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
di: Yuan, Zhiqiang, et al.
Pubblicazione: (2025)
di: Yuan, Zhiqiang, et al.
Pubblicazione: (2025)
A first look at ROS 2 applications written in asynchronous Rust
di: Škoudlil, Martin, et al.
Pubblicazione: (2025)
di: Škoudlil, Martin, et al.
Pubblicazione: (2025)
Documenti analoghi
-
SafeTrans: LLM-assisted Transpilation from C to Rust
di: Farrukh, Muhammad, et al.
Pubblicazione: (2025) -
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
di: Bai, Yubo, et al.
Pubblicazione: (2025) -
PhaseSeed: Precise Call Graph Construction for Split-Phase Applications using Dynamic Seeding
di: Palit, Tapti, et al.
Pubblicazione: (2025) -
Towards a Transpiler for C/C++ to Safer Rust
di: Tripuramallu, Dhiren, et al.
Pubblicazione: (2024) -
Documentation-Guided Agentic Codebase Migration from C to Rust
di: Le-Anh, Minh, et al.
Pubblicazione: (2026)