Cover Image

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	He, Xingbang, Chen, Yuanwei, Wu, Hao, Zhang, Jikang, Wang, Zicheng, Chen, Ligeng, Peng, Junjie, Wei, Haiyang, Qian, Yi, Zhang, Tiantai, Wang, Linzhang, Mao, Bing
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Zero-Permission Manipulation: Can We Trust Large Multimodal Model Powered GUI Agents?
by: Qian, Yi, et al.
Published: (2026)

Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation
by: Wei, Haiyang, et al.
Published: (2024)

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

Quiver Yangians as Coulomb branch algebras
by: Chen, Tiantai, et al.
Published: (2025)

Finding Cross-rule Optimization Bugs in Datalog Engines
by: Zhang, Chi, et al.
Published: (2024)

On the non-collapsed RCD spaces with local bounded covering geometry
by: Wang, Jikang
Published: (2024)

On the limit of simply connected manifolds with discrete isometric cocompact group actions
by: Wang, Jikang
Published: (2023)

Context-Aware Semantic Recomposition Mechanism for Large Language Models
by: Katrix, Richard, et al.
Published: (2025)

LogicEnvGen: Task-Logic Driven Generation of Diverse Simulated Environments for Embodied AI
by: Wang, Jianan, et al.
Published: (2026)

Exploring Fine-Grained Representation and Recomposition for Cloth-Changing Person Re-Identification
by: Wang, Qizao, et al.
Published: (2023)

Non-commutative hourglasses I: On classification of the Q-Fano 3-folds Gorenstein index 2 via Derived category
by: Hao, Xingbang
Published: (2025)

Constructing and transforming standard resolutions of local modules
by: Hao, Xingbang
Published: (2025)

On the local topology of non-collapsed Ricci bounded limit spaces
by: Sun, Song, et al.
Published: (2025)

Modular Embedding Recomposition for Incremental Learning
by: Panariello, Aniello, et al.
Published: (2025)

A Data-Driven Framework for Discovering Fractional Differential Equations in Complex Systems
by: Yu, Xiangnan, et al.
Published: (2024)

HAFormer: Unleashing the Power of Hierarchy-Aware Features for Lightweight Semantic Segmentation
by: Xu, Guoan, et al.
Published: (2024)

Frequency-Domain Decomposition and Recomposition for Robust Audio-Visual Segmentation
by: Shen, Yunzhe, et al.
Published: (2025)

Discovering Interpretable Semantics from Radio Signals for Contactless Cardiac Monitoring
by: Jinbo Chen, et al.
Published: (2026)

EpiDroid: Dependency-Guided Recomposition for Deep State Discovery in Mobile GUI Testing
by: Song, Jiahui, et al.
Published: (2026)

MARBLE: Material Recomposition and Blending in CLIP-Space
by: Cheng, Ta-Ying, et al.
Published: (2025)

Word-Representability of Graphs with respect to Split Recomposition
by: Dwary, Tithi, et al.
Published: (2024)

DePatch: Towards Robust Adversarial Patch for Evading Person Detectors in the Real World
by: Cheng, Jikang, et al.
Published: (2024)

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

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

SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
by: Lin, Zewei, et al.
Published: (2026)

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

XGrammar-2: Efficient Dynamic Structured Generation Engine for Agentic LLMs
by: Li, Linzhang, et al.
Published: (2026)

DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
by: Suo, Chenyao, et al.
Published: (2025)

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

On Knowledge Compilation For Two-Variable First-Order Logic
by: Meng, Qiaolan, et al.
Published: (2026)

Recomposition: A New Technique for Efficient Compositional Verification
by: Dardik, Ian, et al.
Published: (2024)

Forecasting Adversarial Actions Using Judgment Decomposition-Recomposition
by: Gomez, Yolanda, et al.
Published: (2024)

Efficient Speech Enhancement via Embeddings from Pre-trained Generative Audioencoders
by: Sun, Xingwei, et al.
Published: (2025)

Discovering Semantic Subdimensions through Disentangled Conceptual Representations
by: Zhang, Yunhao, et al.
Published: (2025)

Language-Driven Visual Consensus for Zero-Shot Semantic Segmentation
by: Zhang, Zicheng, et al.
Published: (2024)

SketchConcept: Sketching-based Concept Recomposition for Product Design using Generative AI
by: Duan, Runlin, et al.
Published: (2025)

Glymphatic system function associates with AD‐signature region volumes, plasma biomarkers, and white matter hyperintensity progression in cognitively unimpaired elderly
by: Qian Chen, et al.
Published: (2025)

DynaKV: Enabling Accurate and Efficient Long-Sequence LLM Decoding on Smartphones
by: Wang, Tuowei, et al.
Published: (2025)

SRLoRA: Subspace Recomposition in Low-Rank Adaptation via Importance-Based Fusion and Reinitialization
by: Yang, Haodong, et al.
Published: (2025)

CalibCLIP: Contextual Calibration of Dominant Semantics for Text-Driven Image Retrieval
by: Kang, Bin, et al.
Published: (2025)