Copertina

LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Yutong, Rubio-González, Cindy
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

Personalizing LLM-Based Conversational Programming Assistants
di: Richards, Jonan
Pubblicazione: (2026)

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

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

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

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

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

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

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps
di: Du, Yalong, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for Code-Generation Based on CoT Length
di: Cheng, Junhang, et al.
Pubblicazione: (2025)

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

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

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

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

Assured LLM-Based Software Engineering
di: Alshahwan, Nadia, et al.
Pubblicazione: (2024)

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
di: Wu, Linhao, et al.
Pubblicazione: (2026)