:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wang, Yutong, Rubio-González, Cindy
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2509.00256
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries
by: Lee, Hyeonseok, et al.
Published: (2025)

From LLMs to Agents in Programming: The Impact of Providing an LLM with a Compiler
by: Kjellberg, Viktor, et al.
Published: (2026)

LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
by: Sollenberger, Zachariah, et al.
Published: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
by: Yang, Shuo, et al.
Published: (2024)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
by: Laguna, Ignacio, et al.
Published: (2024)

PlanCompiler: A Deterministic Compilation Architecture for Structured Multi-Step LLM Pipelines
by: Harikumar, Pranav
Published: (2026)

Computing Floating-Point Errors by Injecting Perturbations
by: Tan, Youshuai, et al.
Published: (2025)

Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
by: Wang, Bo, et al.
Published: (2025)

HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
by: Jiang, Hanyun, et al.
Published: (2026)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
by: Xie, Peichen, et al.
Published: (2024)

Personalizing LLM-Based Conversational Programming Assistants
by: Richards, Jonan
Published: (2026)

Solsmith: Solidity Random Program Generator for Compiler Testing
by: Li, Lantian, et al.
Published: (2025)

LLM-Based Repair of C++ Implicit Data Loss Compiler Warnings: An Industrial Case Study
by: You, Chansong, et al.
Published: (2026)

CompileAgent: Automated Real-World Repo-Level Compilation with Tool-Integrated LLM-based Agent System
by: Hu, Li, et al.
Published: (2025)

The Fact Selection Problem in LLM-Based Program Repair
by: Parasaram, Nikhil, et al.
Published: (2024)

ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
by: Su, Bowei, et al.
Published: (2026)

A Mathematics-Guided Approach to Floating-Point Error Detection
by: Tan, Youshuai, et al.
Published: (2025)

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps
by: Du, Yalong, 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)

Validating LLM-Generated Programs with Metamorphic Prompt Testing
by: Wang, Xiaoyin, et al.
Published: (2024)

Program Analysis Guided LLM Agent for Proof-of-Concept Generation
by: Desai, Achintya, et al.
Published: (2026)

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
by: He, Xingbang, et al.
Published: (2026)

Static Program Analysis Guided LLM Based Unit Test Generation
by: Roychowdhury, Sujoy, et al.
Published: (2025)

From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets
by: Zhu, Hao-Nan, et al.
Published: (2025)

AP2O-Coder: Adaptively Progressive Preference Optimization for Reducing Compilation and Runtime Errors in LLM-Generated Code
by: Zhang, Jianqing, et al.
Published: (2025)

Type-aware LLM-based Regression Test Generation for Python Programs
by: Liu, Runlin, et al.
Published: (2025)

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
by: Tu, Haoxin, et al.
Published: (2023)

Your Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers
by: Chen, Simin, et al.
Published: (2025)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
by: Ye, Likai, et al.
Published: (2025)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
by: Chen, Zehan, et al.
Published: (2025)

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
by: Zhang, Zejun, et al.
Published: (2026)

DebugTA: An LLM-Based Agent for Simplifying Debugging and Teaching in Programming Education
by: Fu, Lingyue, et al.
Published: (2025)

HEJ-Robust: A Robustness Benchmark for LLM-Based Automated Program Repair
by: Rabbi, Fazle, et al.
Published: (2026)

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

SAINT: Service-level Integration Test Generation with Program Analysis and LLM-based Agents
by: Pan, Rangeet, et al.
Published: (2025)

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
by: Mu, Fangwen, et al.
Published: (2025)

Renaissance of Literate Programming in the Era of LLMs: Enhancing LLM-Based Code Generation in Large-Scale Projects
by: Zhang, Wuyang, et al.
Published: (2024)

Input Reduction Enhanced LLM-based Program Repair
by: Yang, Boyang, et al.
Published: (2025)

Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
by: Liu, Fang, et al.
Published: (2025)

Beyond Rules: LLM-Powered Linting for Quantum Programs
by: Cassieri, Pietro, et al.
Published: (2026)