Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yang, Aidan Z. H., Takashima, Yoshiki, Paulsen, Brandon, Dodds, Josiah, Kroening, Daniel
Format:	Preprint
Veröffentlicht:	2024
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

Scalable, Validated Code Translation of Entire Projects using Large Language Models
von: Zhang, Hanliang, et al.
Veröffentlicht: (2024)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Validated Code Translation for Projects with External Libraries
von: Zhang, Hanliang, et al.
Veröffentlicht: (2026)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
von: Arquint, Linard, 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)

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
von: Ibrahimzada, Ali Reza, et al.
Veröffentlicht: (2025)

Guess & Sketch: Language Model Guided Transpilation
von: Lee, Celine, et al.
Veröffentlicht: (2023)

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

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
von: Bhatia, Rishipal Singh
Veröffentlicht: (2026)

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

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

Refactoring Programs Using Large Language Models with Few-Shot Examples
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)

An Interactive Debugger for Rust Trait Errors
von: Gray, Gavin, et al.
Veröffentlicht: (2025)

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
von: Khatry, Anirudh, et al.
Veröffentlicht: (2025)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
von: Rao, Zihao, et al.
Veröffentlicht: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
von: Zhou, Zixu
Veröffentlicht: (2025)

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

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
von: Karapetyan, Daniel
Veröffentlicht: (2025)

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
von: Yang, Zhenning, et al.
Veröffentlicht: (2025)

Verifying a Realistic Mutable Hash Table
von: Chassot, Samuel, et al.
Veröffentlicht: (2021)

Verified invertible lexer using regular expressions and DFAs
von: Chassot, Samuel, et al.
Veröffentlicht: (2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods
von: Misu, Md Rakib Hossain, et al.
Veröffentlicht: (2024)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
von: Bedell, Sarah, et al.
Veröffentlicht: (2026)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2026)

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

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

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
von: Bucev, Mario, et al.
Veröffentlicht: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
von: Li, Jia, et al.
Veröffentlicht: (2024)

A Roadmap for Tamed Interactions with Large Language Models
von: Scotti, Vincenzo, et al.
Veröffentlicht: (2025)

LPR: Large Language Models-Aided Program Reduction
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
von: Xu, Zhenyang, et al.
Veröffentlicht: (2025)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
von: Wang, Yanzhao, et al.
Veröffentlicht: (2024)

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

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

Strengthening Programming Comprehension in Large Language Models through Code Generation
von: Ren, Xiaoning, et al.
Veröffentlicht: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
von: Liu, Yuchen, et al.
Veröffentlicht: (2025)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
von: Feng, Rong, et al.
Veröffentlicht: (2025)

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

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