Copertina

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sim, Hohyun, Cho, Hyeonjoong, Shokri, Ali, Fu, Zhoulai, Ravindran, Binoy
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
di: Rao, Zihao, et al.
Pubblicazione: (2024)

Formally Verified Binary-level Pointer Analysis
di: Verbeek, Freek, et al.
Pubblicazione: (2025)

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

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

Augmented Weak Distance for Fast and Accurate Bounds Checking
di: Fu, Zhoulai, et al.
Pubblicazione: (2025)

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

Scalable Floating-Point Satisfiability via Staged Optimization
di: Zhang, Yuanzhuo, et al.
Pubblicazione: (2026)

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

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
di: Zhou, Tianyang, et al.
Pubblicazione: (2025)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
di: Zhou, Zixu
Pubblicazione: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)

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

Neural Code Translation of Legacy Code: APL to C#
di: Ramadan, Abdulrahman, et al.
Pubblicazione: (2026)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
di: Ke, Kaiyao, et al.
Pubblicazione: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
di: Saravanos, Antonios, et al.
Pubblicazione: (2026)

Validated Code Translation for Projects with External Libraries
di: Zhang, Hanliang, et al.
Pubblicazione: (2026)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2022)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
di: Wang, Yanzhao, et al.
Pubblicazione: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
di: Abdelrazek, Zeyad, et al.
Pubblicazione: (2026)

Agentic Specification Generator for Move Programs
di: Fu, Yu-Fu, et al.
Pubblicazione: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
di: Zhang, Hanliang, et al.
Pubblicazione: (2024)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
di: Dau, Anh T. V., et al.
Pubblicazione: (2026)

Agentic Code Reasoning
di: Ugare, Shubham, et al.
Pubblicazione: (2026)

C*: Unifying Programming and Verification in C
di: Cao, Yiyuan, et al.
Pubblicazione: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
di: Svoboda, David, et al.
Pubblicazione: (2025)

Turn: A Language for Agentic Computation
di: Kizito, Muyukani
Pubblicazione: (2026)

Toward an Agentic Infused Software Ecosystem
di: Marron, Mark
Pubblicazione: (2026)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
di: Antal, Gábor, et al.
Pubblicazione: (2024)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
di: Chen, Le, et al.
Pubblicazione: (2025)

Concept-Based Generic Programming in C++
di: Stroustrup, Bjarne
Pubblicazione: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
di: Mahathevan, Kabilan, et al.
Pubblicazione: (2026)

Enabling Memory Safety of C Programs using LLMs
di: Mohammed, Nausheen, et al.
Pubblicazione: (2024)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
di: Rho, Sanghoon, et al.
Pubblicazione: (2024)

$Classi|Q\rangle$ Towards a Translation Framework To Bridge The Classical-Quantum Programming Gap
di: Esposito, Matteo, et al.
Pubblicazione: (2024)

RacerF: Lightweight Static Data Race Detection for C Code
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
di: Yu, ZeHao
Pubblicazione: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
di: Damiani, Ferruccio, et al.
Pubblicazione: (2026)