Imagen de Portada

Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Yibiao, Li, Qingyang, Sun, Maolin, Wu, Jiangchang, Zhou, Yuming
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
por: Li, Qingyang, et al.
Publicado: (2025)

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
por: Gao, Hongyan, et al.
Publicado: (2026)

Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
por: Sun, Maolin, et al.
Publicado: (2025)

DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair
por: Sun, Maolin, et al.
Publicado: (2026)

Isolating Compiler Bugs through Compilation Steps Analysis
por: Liu, Yujie, et al.
Publicado: (2025)

WITNESS: A lightweight and practical approach to fine-grained predictive mutation testing
por: Lu, Zeyu, et al.
Publicado: (2025)

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

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

Improving Compiler Bug Isolation by Leveraging Large Language Models
por: Qi, Yixian, et al.
Publicado: (2025)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
por: Nitin, Vikram, et al.
Publicado: (2025)

RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
por: Sepidband, Melika, et al.
Publicado: (2026)

Compiling Code LLMs into Lightweight Executables
por: Shi, Jieke, et al.
Publicado: (2026)

RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
por: Xu, Tongtong, et al.
Publicado: (2019)

Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
por: Yang, Aidan Z. H., et al.
Publicado: (2024)

Kerncap: Automated Kernel Extraction and Isolation for AMD GPUs
por: Ramos, Cole, et al.
Publicado: (2026)

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
por: Wu, Jingwen, et al.
Publicado: (2025)

Understanding Typing-Related Bugs in Solidity Compiler
por: Li, Lantian, et al.
Publicado: (2025)

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

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

PTE: Axiomatic Semantics based Compiler Testing
por: Dong, Guoliang, et al.
Publicado: (2024)

BASE: Burst-Adaptive Autoscaling via Stacked Ensembles for SLO Assurance and Cost Efficiency
por: Meng, Chunyang, et al.
Publicado: (2024)

Enhancing Software Vulnerability Detection Through Adaptive Test Input Generation Using Genetic Algorithm
por: Mehendran, Yanusha, et al.
Publicado: (2025)

Towards Better Code Understanding in Decoder-Only Models with Contrastive Learning
por: Lin, Jiayi, et al.
Publicado: (2024)

Fuzzing MLIR Compilers with Custom Mutation Synthesis
por: Limpanukorn, Ben, et al.
Publicado: (2024)

Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
por: Fang, Aoyang, et al.
Publicado: (2025)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
por: Zhou, Zitong, et al.
Publicado: (2025)

Towards an Oracle for Binary Decomposition Under Compilation Variance
por: Jia, Ang, et al.
Publicado: (2025)

Interleaving Large Language Models for Compiler Testing
por: Ni, Yunbo, et al.
Publicado: (2025)

Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
por: Berg, Lucas, et al.
Publicado: (2026)

SBEST: Spectrum-Based Fault Localization Without Fault-Triggering Tests
por: Rafi, Md Nakhla, et al.
Publicado: (2024)

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

It Only Gets Worse: Revisiting DL-Based Vulnerability Detectors from a Practical Perspective
por: Wang, Yunqian, et al.
Publicado: (2025)

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

Secure-Instruct: An Automated Pipeline for Synthesizing Instruction-Tuning Datasets Using LLMs for Secure Code Generation
por: Li, Junjie, et al.
Publicado: (2025)

Variability-Aware Detection and Repair of Compilation Errors Using Foundation Models in Configurable Systems
por: Gheyi, Rohit, et al.
Publicado: (2026)

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

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

Can Adjusting Hyperparameters Lead to Green Deep Learning: An Empirical Study on Correlations between Hyperparameters and Energy Consumption of Deep Learning Models
por: Wang, Taoran, et al.
Publicado: (2026)

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
por: Liu, Zhijie, et al.
Publicado: (2023)

Synergy-Guided Compiler Auto-Tuning of Nested LLVM Pass Pipelines
por: Pan, Haolin, et al.
Publicado: (2025)