:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fu, David Jiahao, Gupta, Aryan, Councilman, Aaron, Grove, David, Wang, Yu-Xiong, Adve, Vikram
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence Programming Languages
Online Access:	https://arxiv.org/abs/2511.19422
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
by: Councilman, Aaron, et al.
Published: (2025)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
by: Dau, Anh T. V., et al.
Published: (2026)

Semantic Source Code Segmentation using Small and Large Language Models
by: Dahou, Abdelhalim, et al.
Published: (2025)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
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)

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

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
by: Berabi, Berkay, et al.
Published: (2024)

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

Rule-Based Error Classification for Analyzing Differences in Frequent Errors
by: Shirafuji, Atsushi, et al.
Published: (2023)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

An Interactive Debugger for Rust Trait Errors
by: Gray, Gavin, et al.
Published: (2025)

LLM-Based Repair of Static Nullability Errors
by: Karimipour, Nima, et al.
Published: (2025)

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

Reinforcement Learning from Compiler and Language Server Feedback
by: Zhang, Yifan, et al.
Published: (2025)

Leveraging Large Language Models to Boost Dafny's Developers Productivity
by: Silva, Álvaro, et al.
Published: (2024)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
by: Zhou, Xintong, et al.
Published: (2025)

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

Package Managers à la Carte: A Formal Model of Dependency Resolution
by: Gibb, Ryan, et al.
Published: (2026)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
by: Arbore, Russel, et al.
Published: (2025)

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

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

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

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

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

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

AI-Assisted Fixes to Code Review Comments at Scale
by: Maddila, Chandra, et al.
Published: (2025)

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

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
by: Liu, Yuchen, et al.
Published: (2025)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
by: Karapetyan, Daniel
Published: (2025)

Improving Small Language Models for Code Generation with Reinforcement Learning from Verification Feedback
by: Skopin, Egor, et al.
Published: (2026)

R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
by: Lin, Jiayi, 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)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
by: Si, Yuan, et al.
Published: (2025)

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

ClassInvGen: Class Invariant Synthesis using Large Language Models
by: Sun, Chuyue, 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)

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

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
by: Kargaran, Amir Hossein, et al.
Published: (2025)

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