Imagen de Portada

Guess & Sketch: Language Model Guided Transpilation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lee, Celine, Mahmoud, Abdulrahman, Kurek, Michal, Campanoni, Simone, Brooks, David, Chong, Stephen, Wei, Gu-Yeon, Rush, Alexander M.
Formato:	Preprint
Publicado:	2023
Materias:	Software Engineering Machine Learning Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
por: Fayed, Mahmoud Samir
Publicado: (2025)

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

Typing Requirement Model as Coroutines
por: Gu, Qiqi, et al.
Publicado: (2024)

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

CAMP: Compiler and Allocator-based Heap Memory Protection
por: Lin, Zhenpeng, et al.
Publicado: (2024)

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

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
por: Feng, Qiong, et al.
Publicado: (2026)

CodePivot: Bootstrapping Multilingual Transpilation in LLMs via Reinforcement Learning without Parallel Corpora
por: Li, Shangyu, et al.
Publicado: (2026)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
por: Shinde, Swapnil, et al.
Publicado: (2026)

LLM-Guided Compositional Program Synthesis
por: Khan, Ruhma, et al.
Publicado: (2025)

Commit0: Library Generation from Scratch
por: Zhao, Wenting, et al.
Publicado: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
por: Stinnett, J. Ryan, et al.
Publicado: (2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
por: Steffen, Bernhard, et al.
Publicado: (2024)

SafeTrans: LLM-assisted Transpilation from C to Rust
por: Farrukh, Muhammad, et al.
Publicado: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
por: Feng, Qiong, et al.
Publicado: (2025)

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

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

LLM-Powered Quantum Code Transpilation
por: Siavash, Nazanin, et al.
Publicado: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
por: Wu, Valentina, et al.
Publicado: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
por: Fang, Ruijie, et al.
Publicado: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
por: Yu, Hao, et al.
Publicado: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
por: Wang, Yongpan, et al.
Publicado: (2025)

FLAT: Formal Languages as Types
por: Zhu, Fengmin, et al.
Publicado: (2025)

An Effectively $Ω(c)$ Language and Runtime
por: Marron, Mark
Publicado: (2024)

Evaluating the Language-Based Security for Plugin Development
por: Liang, Naisheng, et al.
Publicado: (2024)

Is Functional Correctness Enough to Evaluate Code Language Models? Exploring Diversity of Generated Codes
por: Chon, Heejae, et al.
Publicado: (2024)

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

Structural Code Search using Natural Language Queries
por: Limpanukorn, Ben, et al.
Publicado: (2025)

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

React-tRace: A Semantics for Understanding React Hooks
por: Lee, Jay, et al.
Publicado: (2025)

From a Natural to a Formal Language with DSL Assistant
por: Mosthaf, My M., et al.
Publicado: (2024)

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

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

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
por: Galasso-Carbonnel, Jessie, et al.
Publicado: (2023)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
por: Wang, Zhiyi, et al.
Publicado: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
por: Marron, Mark
Publicado: (2024)