Copertina

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wu, Jingwen, Zheng, Jiajing, Yang, Zhenyu, Yu, Zhongxing
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

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

Parameter-Efficient Fine-Tuning with Attributed Patch Semantic Graph for Automated Patch Correctness Assessment
di: Yang, Zhenyu, et al.
Pubblicazione: (2025)

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

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

Towards Speeding up Program Repair with Non-Autoregressive Model
di: Yang, Zhenyu, et al.
Pubblicazione: (2025)

NARRepair: Non-Autoregressive Code Generation Model for Automatic Program Repair
di: Yang, Zhenyu, et al.
Pubblicazione: (2024)

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

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
di: Li, Lantian, et al.
Pubblicazione: (2025)

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

Exploring and Lifting the Robustness of LLM-powered Automated Program Repair with Metamorphic Testing
di: Xue, Pengyu, et al.
Pubblicazione: (2024)

Automated Commit Message Generation with Large Language Models: An Empirical Study and Beyond
di: Xue, Pengyu, et al.
Pubblicazione: (2024)

QOPS: A Compiler Framework for Quantum Circuit Simulation Acceleration with Profile Guided Optimizations
di: Wu, Yu-Tsung, et al.
Pubblicazione: (2024)

Ising-based Test Optimization and Benchmarking
di: Yang, Yige, et al.
Pubblicazione: (2026)

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

Scenario-Guided LLM-based Mobile App GUI Testing
di: Yu, Shengcheng, et al.
Pubblicazione: (2025)

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

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

Quantum Approximate Optimization Algorithm for Test Case Optimization
di: Wang, Xinyi, et al.
Pubblicazione: (2023)

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

Influence-Guided Concolic Testing of Transformer Robustness
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

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

A Hybrid, Knowledge-Guided Evolutionary Framework for Personalized Compiler Auto-Tuning
di: Pan, Haolin, et al.
Pubblicazione: (2025)

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

PCodeTrans: Translate Decompiled Pseudocode to Compilable and Executable Equivalent
di: Cui, Yuxin, et al.
Pubblicazione: (2026)

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
di: Zou, Yinglong, et al.
Pubblicazione: (2024)

KGCompiler: Deep Learning Compilation Optimization for Knowledge Graph Complex Logical Query Answering
di: Lin, Hongyu, et al.
Pubblicazione: (2025)

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

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

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

Regression Testing Optimization for ROS-based Autonomous Systems: A Comprehensive Review of Techniques
di: Jiang, Yupeng, et al.
Pubblicazione: (2025)

Definition and Detection of Centralization Defects in Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)

Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
di: Pham, Tri Minh Triet, et al.
Pubblicazione: (2024)

DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation
di: Mu, Yanzhou, et al.
Pubblicazione: (2025)

Vision-Based Mobile App GUI Testing: A Survey
di: Yu, Shengcheng, et al.
Pubblicazione: (2023)

TestDecision: Sequential Test Suite Generation via Greedy Optimization and Reinforcement Learning
di: Wang, Guoqing, et al.
Pubblicazione: (2026)

Semantically-Equivalent Transformations-Based Backdoor Attacks against Neural Code Models: Characterization and Mitigation
di: Ye, Junyao, et al.
Pubblicazione: (2025)

Large Language Models for Software Testing Education: an Experience Report
di: Yang, Peng, et al.
Pubblicazione: (2026)

Compiler.next: A Search-Based Compiler to Power the AI-Native Future of Software Engineering
di: Cogo, Filipe R., 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)

Structural Mutation Based Differential Testing for FPGA Logic Synthesis Compilers
di: Xu, Zhihao, et al.
Pubblicazione: (2025)