Copertina

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yang, Aidan Z. H., Takashima, Yoshiki, Paulsen, Brandon, Dodds, Josiah, Kroening, Daniel
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
di: Arquint, Linard, et al.
Pubblicazione: (2025)

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

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2025)

Guess & Sketch: Language Model Guided Transpilation
di: Lee, Celine, et al.
Pubblicazione: (2023)

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

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

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

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2026)

Refactoring Programs Using Large Language Models with Few-Shot Examples
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

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

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

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

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

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees
di: Heakl, Ahmed, et al.
Pubblicazione: (2025)

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

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
di: Karapetyan, Daniel
Pubblicazione: (2025)

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
di: Yang, Zhenning, et al.
Pubblicazione: (2025)

Verifying a Realistic Mutable Hash Table
di: Chassot, Samuel, et al.
Pubblicazione: (2021)

Verified invertible lexer using regular expressions and DFAs
di: Chassot, Samuel, et al.
Pubblicazione: (2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods
di: Misu, Md Rakib Hossain, et al.
Pubblicazione: (2024)

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

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

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)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
di: Bucev, Mario, et al.
Pubblicazione: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
di: Li, Jia, et al.
Pubblicazione: (2024)

A Roadmap for Tamed Interactions with Large Language Models
di: Scotti, Vincenzo, et al.
Pubblicazione: (2025)

LPR: Large Language Models-Aided Program Reduction
di: Zhang, Mengxiao, et al.
Pubblicazione: (2023)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
di: Xu, Zhenyang, et al.
Pubblicazione: (2025)

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

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

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

Strengthening Programming Comprehension in Large Language Models through Code Generation
di: Ren, Xiaoning, et al.
Pubblicazione: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
di: Liu, Yuchen, et al.
Pubblicazione: (2025)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
di: Feng, Rong, 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)

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