Cover Image

IDOL: Improved Different Optimization Levels Testing for Solidity Compilers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Lantian, Liang, Yejian, Yu, Zhongxing
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

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

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

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

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

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

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

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

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

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

Dataset of Yul Contracts to Support Solidity Compiler Research
by: Fonal, Krzysztof
Published: (2025)

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

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

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

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

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

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

Parameter-Efficient Fine-Tuning with Attributed Patch Semantic Graph for Automated Patch Correctness Assessment
by: Yang, Zhenyu, 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)

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

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

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

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

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

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

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

E-code: Mastering Efficient Code Generation through Pretrained Models and Expert Encoder Group
by: Pan, Yue, et al.
Published: (2024)

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

Breaking, Stale, or Missing? Benchmarking Coding Agents on Project-Level Test Evolution
by: Shang, Ye, et al.
Published: (2026)

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

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

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

Metamorphic Testing of Image Captioning Systems via Image-Level Reduction
by: Xie, Xiaoyuan, et al.
Published: (2023)

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

PEACE: Towards Efficient Project-Level Efficiency Optimization via Hybrid Code Editing
by: Ren, Xiaoxue, et al.
Published: (2025)

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

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
by: Ma, Jie, et al.
Published: (2025)

Multi-Level Testing of Conversational AI Systems
by: Masserini, Elena
Published: (2026)

Compiler.next: A Search-Based Compiler to Power the AI-Native Future of Software Engineering
by: Cogo, Filipe R., et al.
Published: (2025)

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers
by: Xu, Zhihao, et al.
Published: (2024)