A Roadmap for Tamed Interactions with Large Language Models
Fuente:
arXiv
Saved in:
| Main Authors: | Scotti, Vincenzo, Keim, Jan, Hey, Tobias, Metzger, Andreas, Koziolek, Anne, Mirandola, Raffaela |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
by: Amalfitano, Domenico, et al.
Published: (2025)
by: Amalfitano, Domenico, et al.
Published: (2025)
Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
by: Schuler, Nicolas, et al.
Published: (2026)
by: Schuler, Nicolas, et al.
Published: (2026)
Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
by: Fuchß, Dominik, et al.
Published: (2025)
by: Fuchß, Dominik, et al.
Published: (2025)
Software Architecture Meets LLMs: A Systematic Literature Review
by: Schmid, Larissa, et al.
Published: (2025)
by: Schmid, Larissa, et al.
Published: (2025)
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)
by: Gilot, Andrea, et al.
Published: (2025)
Taming the Beast: Fully Automated Unit Testing with Coyote C++
by: Rho, Sanghoon, et al.
Published: (2024)
by: Rho, Sanghoon, et al.
Published: (2024)
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)
by: Saumya, Charitha, et al.
Published: (2023)
LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)
by: Zhang, Mengxiao, et al.
Published: (2023)
LPO: Discovering Missed Peephole Optimizations with Large Language Models
by: Xu, Zhenyang, et al.
Published: (2025)
by: Xu, Zhenyang, et al.
Published: (2025)
Enhancing Translation Validation of Compiler Transformations with Large Language Models
by: Wang, Yanzhao, et al.
Published: (2024)
by: Wang, Yanzhao, et al.
Published: (2024)
Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)
by: Ren, Xiaoning, et al.
Published: (2025)
FLAT: Formal Languages as Types
by: Zhu, Fengmin, et al.
Published: (2025)
by: Zhu, Fengmin, et al.
Published: (2025)
LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
by: Liu, Yuchen, et al.
Published: (2025)
by: Liu, Yuchen, et al.
Published: (2025)
Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
by: Karapetyan, Daniel
Published: (2025)
by: Karapetyan, Daniel
Published: (2025)
Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
by: Feng, Rong, et al.
Published: (2025)
by: Feng, Rong, et al.
Published: (2025)
Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)
by: Zhang, Hanliang, et al.
Published: (2024)
CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
by: Li, Hebi, et al.
Published: (2023)
by: Li, Hebi, et al.
Published: (2023)
ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
by: Si, Yuan, et al.
Published: (2025)
by: Si, Yuan, et al.
Published: (2025)
VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)
by: Yang, Aidan Z. H., et al.
Published: (2024)
COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
by: Dau, Anh T. V., et al.
Published: (2026)
by: Dau, Anh T. V., et al.
Published: (2026)
iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
by: Xu, Ning, et al.
Published: (2026)
by: Xu, Ning, et al.
Published: (2026)
Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)
by: Sim, HoHyun, et al.
Published: (2025)
DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
by: Yu, Hao, et al.
Published: (2025)
by: Yu, Hao, et al.
Published: (2025)
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
by: Carreira, Carolina, et al.
Published: (2025)
by: Carreira, Carolina, et al.
Published: (2025)
From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
by: Jiang, Weipeng, et al.
Published: (2024)
by: Jiang, Weipeng, et al.
Published: (2024)
CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
by: Wang, Peiding, et al.
Published: (2025)
by: Wang, Peiding, et al.
Published: (2025)
AI-Assisted Modeling: DSL-Driven AI Interactions
by: Smyth, Steven, et al.
Published: (2025)
by: Smyth, Steven, et al.
Published: (2025)
Semantic Source Code Segmentation using Small and Large Language Models
by: Dahou, Abdelhalim, et al.
Published: (2025)
by: Dahou, Abdelhalim, et al.
Published: (2025)
Benchmarking Large Language Models for ABAP Code Generation: An Empirical Study on Iterative Improvement by Compiler Feedback
by: Wallraven, Stephan, et al.
Published: (2026)
by: Wallraven, Stephan, et al.
Published: (2026)
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models
by: Corbo, Simone, et al.
Published: (2025)
by: Corbo, Simone, et al.
Published: (2025)
Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
by: Zhang, Weixing, et al.
Published: (2024)
by: Zhang, Weixing, et al.
Published: (2024)
Large Language Models for Multilingual Code Intelligence: A Survey
by: Jiang, Chao, et al.
Published: (2026)
by: Jiang, Chao, et al.
Published: (2026)
An Encoding of Interaction Nets in OCaml
by: Huber, Nikolaus, et al.
Published: (2025)
by: Huber, Nikolaus, et al.
Published: (2025)
An Interactive Debugger for Rust Trait Errors
by: Gray, Gavin, et al.
Published: (2025)
by: Gray, Gavin, et al.
Published: (2025)
Container Morphisms for Composable Interactive Systems
by: Videla, André
Published: (2024)
by: Videla, André
Published: (2024)
Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
by: Galasso-Carbonnel, Jessie, et al.
Published: (2023)
by: Galasso-Carbonnel, Jessie, et al.
Published: (2023)
An Empirical Study on the Performance and Energy Usage of Compiled Python Code
by: Stoico, Vincenzo, et al.
Published: (2025)
by: Stoico, Vincenzo, et al.
Published: (2025)
Assessing the Interpretability of Programmatic Policies with Large Language Models
by: Bashir, Zahra, et al.
Published: (2023)
by: Bashir, Zahra, et al.
Published: (2023)
Assured Automatic Programming via Large Language Models
by: Mirchev, Martin, et al.
Published: (2024)
by: Mirchev, Martin, et al.
Published: (2024)
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
by: Endres, Madeline, et al.
Published: (2023)
by: Endres, Madeline, et al.
Published: (2023)
Similar Items
-
A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
by: Amalfitano, Domenico, et al.
Published: (2025) -
Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
by: Schuler, Nicolas, et al.
Published: (2026) -
Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
by: Fuchß, Dominik, et al.
Published: (2025) -
Software Architecture Meets LLMs: A Systematic Literature Review
by: Schmid, Larissa, et al.
Published: (2025) -
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)