Copertina

Verified Code Transpilation with LLMs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bhatia, Sahil, Qiu, Jie, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
di: Qiu, Jie, et al.
Pubblicazione: (2024)

Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
di: Hong, Charles, et al.
Pubblicazione: (2025)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
di: Mora, Federico, et al.
Pubblicazione: (2024)

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

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
di: Shetty, Manish, et al.
Pubblicazione: (2024)

ADELT: Transpilation Between Deep Learning Frameworks
di: Gong, Linyuan, et al.
Pubblicazione: (2023)

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

LLM-Aided Compilation for Tensor Accelerators
di: Hong, Charles, et al.
Pubblicazione: (2024)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
di: Chen, Pei-Wei, et al.
Pubblicazione: (2025)

Optimism in Equality Saturation
di: Arbore, Russel, et al.
Pubblicazione: (2025)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

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

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)

MonoCoder: Domain-Specific Code Language Model for HPC Codes and Tasks
di: Kadosh, Tal, et al.
Pubblicazione: (2023)

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

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
di: Cao, Jialun, et al.
Pubblicazione: (2025)

CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark
di: Heakl, Ahmed, et al.
Pubblicazione: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
di: Nezhad, Sina Bagheri, et al.
Pubblicazione: (2025)

Suki: Choreographed Distributed Dataflow in Rust
di: Laddad, Shadaj, et al.
Pubblicazione: (2024)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
di: Elmaaroufi, Karim, et al.
Pubblicazione: (2024)

OMPILOT: Harnessing Transformer Models for Auto Parallelization to Shared Memory Computing Paradigms
di: Bhattacharjee, Arijit, et al.
Pubblicazione: (2025)

On Code-Induced Reasoning in LLMs
di: Waheed, Abdul, et al.
Pubblicazione: (2025)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
di: Wang, Shuling, et al.
Pubblicazione: (2024)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
di: Rinard, Martin
Pubblicazione: (2026)

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
di: Zeng, Lingfei, et al.
Pubblicazione: (2025)

Verifying Fault-Tolerance of Quantum Error Correction Codes
di: Chen, Kean, et al.
Pubblicazione: (2025)

Flo: a Semantic Foundation for Progressive Stream Processing
di: Laddad, Shadaj, et al.
Pubblicazione: (2024)

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

Towards a high-performance AI compiler with upstream MLIR
di: Golin, Renato, et al.
Pubblicazione: (2024)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
di: Lin, Shaokai, et al.
Pubblicazione: (2024)

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation
di: Sirlanci, Melih, et al.
Pubblicazione: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2024)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2025)

Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks
di: Gong, Linyuan, et al.
Pubblicazione: (2024)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
di: Gao, Jun, et al.
Pubblicazione: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
di: Wu, Jinhua, et al.
Pubblicazione: (2025)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
di: Coglio, Alessandro, et al.
Pubblicazione: (2025)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
di: Wu, Jinhua, et al.
Pubblicazione: (2026)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
di: Andrici, Cezar-Constantin, et al.
Pubblicazione: (2025)

Paradigm-Based Automatic HDL Code Generation Using LLMs
di: Sun, Wenhao, et al.
Pubblicazione: (2025)