Imagen de Portada

Validated Code Translation for Projects with External Libraries

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Hanliang, Sharma, Arindam, David, Cristina, Wang, Meng, Paulsen, Brandon, Kroening, Daniel, Ye, Wenjia, Sekiyama, Taro
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Quantifying the benefits of code hints for refactoring deprecated Java APIs
por: David, Cristina, et al.
Publicado: (2024)

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

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

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

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

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

Assessing Correctness in LLM-Based Code Generation via Uncertainty Estimation
por: Sharma, Arindam, et al.
Publicado: (2025)

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

Fine-Tuning Multilingual Language Models for Code Review: An Empirical Study on Industrial C# Projects
por: Begolli, Igli, et al.
Publicado: (2025)

Automatically Testing Functional Properties of Code Translation Models
por: Eniser, Hasan Ferit, et al.
Publicado: (2023)

A Preliminary Study of Multilingual Code Language Models for Code Generation Task Using Translated Benchmarks
por: Dandamudi, Rohit, et al.
Publicado: (2024)

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

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

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

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
por: Cirstea, Horatiu, et al.
Publicado: (2024)

Using Semantic Distance to Estimate Uncertainty in LLM-Based Code Generation
por: He, Weilin, et al.
Publicado: (2026)

Micro-Patterns in Solidity Code
por: Ruschioni, Luca, et al.
Publicado: (2025)

Pareto Optimal Code Generation
por: Orlanski, Gabriel, et al.
Publicado: (2025)

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

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
por: Liu, Peipei, et al.
Publicado: (2025)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
por: Jing, Huihao, et al.
Publicado: (2026)

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

Automated Code Editing with Search-Generate-Modify
por: Liu, Changshu, et al.
Publicado: (2023)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
por: Song, Yewei, et al.
Publicado: (2024)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
por: Jiang, Weipeng, et al.
Publicado: (2024)

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

A Trace-based Approach for Code Safety Analysis
por: Xu, Hui
Publicado: (2025)

On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)

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

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
por: Shree, Iti, et al.
Publicado: (2025)

A Problem-Oriented Perspective and Anchor Verification for Code Optimization
por: Ye, Tong, et al.
Publicado: (2024)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
por: Ravikumar, Shruthi, et al.
Publicado: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
por: Pouget, Stéphane, et al.
Publicado: (2024)