paper-with-me

Papers

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework

2025-10-13 · Hongyu Lin, Haolin Pan, Haoran Luo, Yuchen Li, Kaichun Yao, Libo Zhang, Mingjie Xing, Yanjun Wu arxiv

Compiler optimization is crucial for enhancing program performance by transforming the sequence of optimization passes while maintaining correctness. Despite the promising potential of large language models (LLMs)-based agent for software optimization, automating compiler optimization remains challenging due to: (1) semantic misalignment between abstract program representations and concrete optimization passes, (2) inefficient interaction mechanisms between agents and compiler environments, and (3) reward sparsity from the extensive decision-making process within large optimization spaces. This paper introduces \textbf{AwareCompiler}, an agentic framework for compiler optimization that addresses these challenges through three key innovations: structured knowledge integration and dataset construction, knowledge-driven adaptive pass generation, and data-driven hybrid training pipeline. Experimental results on standard benchmarks demonstrate that AwareCompiler significantly outperforms existing baselines in both performance and efficiency, highlighting the effectiveness of our synergistic knowledge-data-driven approach. Our code is publicly available at https://github.com/LHY-24/AwareCompiler.

📄 PDF Abstract BibTeX arXiv:2510.11759

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

OProver: A Unified Framework for Agentic Formal Theorem Proving

2026-05-17 · David Ma, Kaijing Ma, Shawn Guo, Yunfeng Shi 외 arxiv

Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware training, but agentic proving is rarely integrated into prover training, appearing only at inference time. We p…

LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations

2026-02-02 · Annabelle Sujun Tang, Christopher Priebe, Lianhui Qin, Hadi Esmaeilzadeh arxiv

LLM-guided compiler optimization has recently shown promise, but existing approaches rely on a single large LLM throughout search, making them expensive and excluding smaller models. We pose the research question: whethe…

Compiler Optimization via LLM Reasoning for Efficient Model Serving

2025-06-02 · Sujun Tang, Christopher Priebe, Rohan Mahapatra, Lianhui Qin 외

While model serving has unlocked unprecedented capabilities, the high cost of serving large-scale models continues to be a significant barrier to widespread accessibility and rapid innovation. Compiler optimizations have…

Compiler OptimizationLarge Language Model

Agentic Auto-Scheduling: An Experimental Study of LLM-Guided Loop Optimization

2025-11-01 · Massinissa Merouani, Islem Kara Bernou, Riyadh Baghdadi arxiv

Automatic code optimization remains a difficult challenge, particularly for complex loop nests on modern hardware. This paper investigates a novel approach to code optimization where Large Language Models (LLMs) guide th…

Agint: Agentic Graph Compilation for Software Engineering Agents

2025-11-24 · Abhi Chivukula, Jay Somasundaram, Vijay Somasundaram arxiv

LLM-based coding agents are increasingly common but still face challenges in context management, latency, reliability, reproducibility, and scalability. We present Agint, an agentic graph compiler, interpreter, and runti…