Cover Image

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhou, Zitong, Limpanukorn, Ben, Kang, Hong Jin, Wang, Jiyuan, Wu, Yaoxuan, Kiss, Akos, Hodovan, Renata, Kim, Miryung
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

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

Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
by: Zhou, Zitong, et al.
Published: (2026)

PALM: Path-aware LLM-based Test Generation with Comprehension
by: Wu, Yaoxuan, et al.
Published: (2025)

From Noise to Knowledge: Interactive Summaries for Developer Alerts
by: Yetiştiren, Burak, et al.
Published: (2025)

WhyFlow: Interrogative Debugger for Sensemaking Taint Analysis
by: Yetiştiren, Burak, et al.
Published: (2025)

Structural Code Search using Natural Language Queries
by: Limpanukorn, Ben, et al.
Published: (2025)

PerfGen: Automated Performance Benchmark Generation for Big Data Analytics
by: Wang, Jiyuan, et al.
Published: (2024)

IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
by: Li, Lantian, et al.
Published: (2025)

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

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

Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking
by: Kang, Hong Jin, et al.
Published: (2024)

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
by: Baiget, Annaëlle, et al.
Published: (2026)

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

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

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

Data-driven Test Generation for Fuzzing AI Compiler
by: Shen, Qingchao
Published: (2026)

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
by: Georgescu, Calin, et al.
Published: (2024)

Effective Random Test Generation for Deep Learning Compilers
by: Ren, Luyao, et al.
Published: (2023)

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

Seed&Steer: Guiding Large Language Models with Compilable Prefix and Branch Signals for Unit Test Generation
by: Zhou, Shuaiyu, et al.
Published: (2025)

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

Testing Compositionality
by: van Cuyck, Gijs, et al.
Published: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
by: Zhou, Zixu
Published: (2025)

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

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

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

TestBench: Evaluating Class-Level Test Case Generation Capability of Large Language Models
by: Zhang, Quanjun, et al.
Published: (2024)

Beyond the Binary: The System of All-round Evaluation of Research and Its Practices in China
by: Zhu, Yu, et al.
Published: (2025)

Inferring Attributed Grammars from Parser Implementations
by: Pointner, Andreas, et al.
Published: (2025)

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

Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
by: Humeniuk, Dmytro, et al.
Published: (2026)

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback
by: Bi, Zhangqian, et al.
Published: (2024)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters
by: Felici, Riccardo, et al.
Published: (2024)

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
by: Sadr, Amirhosein, et al.
Published: (2026)

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

Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
by: Mu, Yanzhou, et al.
Published: (2025)

ChainFuzzer: Greybox Fuzzing for Workflow-Level Multi-Tool Vulnerabilities in LLM Agents
by: Wu, Jiangrong, et al.
Published: (2026)

Towards Automated Support for the Co-Evolution of Meta-Models and Grammars
by: Zhang, Weixing
Published: (2023)

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