Imagen de Portada

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Weixing, Hebig, Regina, Strüber, Daniel
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering Artificial Intelligence Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
por: Zhang, Weixing, et al.
Publicado: (2026)

Development and Evolution of Xtext-based DSLs on GitHub: An Empirical Investigation
por: Zhang, Weixing, et al.
Publicado: (2025)

Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution
por: Zhang, Weixing, et al.
Publicado: (2026)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
por: Zhang, Weixing, et al.
Publicado: (2024)

EATXT: A textual concrete syntax for EAST-ADL
por: Zhang, Weixing, et al.
Publicado: (2024)

CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
por: Xu, Kangwei, et al.
Publicado: (2025)

SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
por: Fu, David Jiahao, et al.
Publicado: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
por: Gao, Yifei, et al.
Publicado: (2025)

The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
por: Zhang, Shuoming, et al.
Publicado: (2026)

LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface
por: Hind, Michael, et al.
Publicado: (2026)

Assessing Code Understanding in LLMs
por: Laneve, Cosimo, et al.
Publicado: (2025)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
por: Le-Cong, Thanh, et al.
Publicado: (2025)

Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
por: Zhang, Yinger, et al.
Publicado: (2023)

Can LLMs Enable Verification in Mainstream Programming?
por: Shefer, Aleksandr, et al.
Publicado: (2025)

Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation
por: Fang, Sen, et al.
Publicado: (2025)

LLMs Lean on Priors, Not Programming Language Semantics
por: Thimmaiah, Aditya, et al.
Publicado: (2025)

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
por: Surana, Shraddha, et al.
Publicado: (2025)

ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
por: Kim, Su-Hyeon, et al.
Publicado: (2025)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
por: Wang, Ming, et al.
Publicado: (2024)

AutoCode: LLMs as Problem Setters for Competitive Programming
por: Zhou, Shang, et al.
Publicado: (2025)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
por: Tang, Hao, et al.
Publicado: (2024)

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

Leveraging LLMs to Automate Energy-Aware Refactoring of Parallel Scientific Codes
por: Dearing, Matthew T., et al.
Publicado: (2025)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
por: Zhang, Huan, et al.
Publicado: (2026)

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution
por: Huang, Tinglin, et al.
Publicado: (2026)

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

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
por: Wang, Peiding, et al.
Publicado: (2025)

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
por: Zhang, Shuoming, et al.
Publicado: (2025)

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

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
por: Huang, Zhechong, et al.
Publicado: (2025)

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
por: Maddila, Chandra, et al.
Publicado: (2025)

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
por: Zhang, Zehua, et al.
Publicado: (2025)

AInsteinBench: Benchmarking Coding Agents on Scientific Repositories
por: Duston, Titouan, et al.
Publicado: (2025)

Is Programming by Example solved by LLMs?
por: Li, Wen-Ding, et al.
Publicado: (2024)

Towards Repository-Level Program Verification with Large Language Models
por: Zhong, Si Cheng, et al.
Publicado: (2025)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
por: Daunis, Ivan
Publicado: (2025)

Effective LLM-Driven Code Generation with Pythoness
por: Levin, Kyla H., et al.
Publicado: (2025)

Blueprint First, Model Second: A Framework for Deterministic LLM Workflow
por: Qiu, Libin, et al.
Publicado: (2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models
por: Sun, Chuyue, et al.
Publicado: (2025)

Generating Verifiable Chain of Thoughts from Exection-Traces
por: Thakur, Shailja, et al.
Publicado: (2025)