Cover Image

DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Suo, Chenyao, Wang, Jianrong, Wang, Yongjia, Jiang, Jiajun, Shen, QingChao, Chen, Junjie
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
by: Sun, Zeyu, et al.
Published: (2025)

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

Towards Understanding the Bugs in Solidity Compiler
by: Ma, Haoyang, et al.
Published: (2024)

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

Toward Understanding Deep Learning Framework Bugs
by: Chen, Junjie, et al.
Published: (2022)

"Silent Is Not Actually Silent": An Investigation of Toxicity on Bug Report Discussion
by: Imran, Mia Mohammad, et al.
Published: (2025)

An MLIR-Based Compilation Framework for Control Flow Management on Coarse Grained Reconfigurable Arrays
by: Wang, Yuxuan, et al.
Published: (2025)

LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
by: Zhang, Kunpeng, et al.
Published: (2026)

Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps
by: Liu, Zhe, et al.
Published: (2024)

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

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

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

Compiler Bugs Detection in Logic Synthesis Tools via Linear Upper Confidence Bound
by: Zeng, Hui, et al.
Published: (2025)

Checker Bug Detection and Repair in Deep Learning Libraries
by: Harzevili, Nima Shiri, et al.
Published: (2024)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
by: Ates, Berke, et al.
Published: (2026)

Characterizing and Mitigating False-Positive Bug Reports in the Linux Kernel
by: Tian, Jiashuo, et al.
Published: (2026)

Bug Histories as Sources of Compiler Fuzzing Mutators
by: Liu, Lingjun, et al.
Published: (2025)

Understanding and Finding JIT Compiler Performance Bugs
by: Yi, Zijian, et al.
Published: (2026)

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

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
by: Yang, Chen, et al.
Published: (2026)

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

CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
by: Zhang, Xiaoyu, et al.
Published: (2024)

MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
by: Deng, Zhiling, et al.
Published: (2025)

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
by: Ni, Yunbo, et al.
Published: (2024)

Optimization-Aware Test Generation for Deep Learning Compilers
by: Shen, Qingchao, et al.
Published: (2025)

Detecting Metadata-Related Bugs in Enterprise Applications
by: Kabir, Md Mahir Asef, et al.
Published: (2025)

Dependency-Aware Code Naturalness
by: Yang, Chen, et al.
Published: (2024)

A Reinforcement Learning Environment for Automatic Code Optimization in the MLIR Compiler
by: Tirichine, Mohammed, et al.
Published: (2024)

A Tale of Two DL Cities: When Library Tests Meet Compiler
by: Shen, Qingchao, et al.
Published: (2024)

A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs
by: Zhang, Yi, et al.
Published: (2025)

Is My RPC Response Reliable? Detecting RPC Bugs in Ethereum Blockchain Client under Context
by: Zhong, Zhijie, et al.
Published: (2026)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
by: Rathnasuriya, Ravishka, et al.
Published: (2026)

Integrating Quantum Software Tools with(in) MLIR
by: Hopf, Patrick, et al.
Published: (2026)

Deep Learning Based Concurrency Bug Detection and Localization
by: Feng, Zuocheng, et al.
Published: (2025)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
by: Zaman, Tarannum Shaila, et al.
Published: (2026)

BugScope: Learn to Find Bugs Like Human
by: Guo, Jinyao, et al.
Published: (2025)

Duplicate Bug Report Detection: How Far Are We?
by: Zhang, Ting, et al.
Published: (2022)

VFDelta: A Framework for Detecting Silent Vulnerability Fixes by Enhancing Code Change Learning
by: Yang, Xu, et al.
Published: (2024)

GitBugs: Bug Reports for Duplicate Detection, Retrieval Augmented Generation, Triage, and More
by: Patil, Avinash, et al.
Published: (2025)

An Empirical Study of Bugs in Modern LLM Agent Frameworks
by: Zhu, Xinxue, et al.
Published: (2026)