Image de couverture de livre

Towards a Transpiler for C/C++ to Safer Rust

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tripuramallu, Dhiren, Singh, Swapnil, Deshmukh, Shrirang, Pinisetty, Srinivas, Shivaji, Shinde Arjun, Balusamy, Raja, Bandeppa, Ajaganna
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
par: Gao, Yifei, et autres
Publié: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
par: Yang, Aidan Z. H., et autres
Publié: (2024)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
par: Bhatia, Rishipal Singh
Publié: (2026)

Translating Large-Scale C Repositories to Idiomatic Rust
par: Dehghan, Saman, et autres
Publié: (2025)

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
par: Khatry, Anirudh, et autres
Publié: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
par: Nitin, Vikram, et autres
Publié: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
par: Sim, HoHyun, et autres
Publié: (2025)

Translating C To Rust: Lessons from a User Study
par: Li, Ruishi, et autres
Publié: (2024)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
par: Farrukh, Muhammad, et autres
Publié: (2026)

Guess & Sketch: Language Model Guided Transpilation
par: Lee, Celine, et autres
Publié: (2023)

An Interactive Debugger for Rust Trait Errors
par: Gray, Gavin, et autres
Publié: (2025)

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
par: Sim, Hohyun, et autres
Publié: (2026)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
par: Rao, Zihao, et autres
Publié: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
par: Zhou, Zixu
Publié: (2025)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
par: Shinde, Swapnil, et autres
Publié: (2026)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
par: Bai, Yubo, et autres
Publié: (2025)

SafeTrans: LLM-assisted Transpilation from C to Rust
par: Farrukh, Muhammad, et autres
Publié: (2025)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
par: Zhou, Tianyang, et autres
Publié: (2025)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

C*: Unifying Programming and Verification in C
par: Cao, Yiyuan, et autres
Publié: (2025)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
par: Bedell, Sarah, et autres
Publié: (2026)

Automated Code Repair for C/C++ Static Analysis Alerts
par: Svoboda, David, et autres
Publié: (2025)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
par: Antal, Gábor, et autres
Publié: (2024)

Concept-Based Generic Programming in C++
par: Stroustrup, Bjarne
Publié: (2025)

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees
par: Heakl, Ahmed, et autres
Publié: (2025)

Enabling Memory Safety of C Programs using LLMs
par: Mohammed, Nausheen, et autres
Publié: (2024)

Neural Code Translation of Legacy Code: APL to C#
par: Ramadan, Abdulrahman, et autres
Publié: (2026)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
par: Rho, Sanghoon, et autres
Publié: (2024)

LLM-Guided Compositional Program Synthesis
par: Khan, Ruhma, et autres
Publié: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
par: Yu, ZeHao
Publié: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
par: Damiani, Ferruccio, et autres
Publié: (2026)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
par: Dacík, Tomáš, et autres
Publié: (2025)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
par: Abdelrazek, Zeyad, et autres
Publié: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
par: Amilon, Jesper, et autres
Publié: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
par: Wu, Xiwei, et autres
Publié: (2025)

Towards Analyzing N-language Polyglot Programs
par: Prakash, Jyoti, et autres
Publié: (2026)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
par: Saravanos, Antonios, et autres
Publié: (2026)

Towards AI-Assisted Synthesis of Verified Dafny Methods
par: Misu, Md Rakib Hossain, et autres
Publié: (2024)