Buchumschlag

Pattern Matching in AI Compilers and its Formalization (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cutler, Joseph W., Collins, Alex, Fan, Bin, Ravishankar, Mahesh, Grover, Vinod
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
von: Tobler, James, et al.
Veröffentlicht: (2025)

Typing Strictness (Extended Version)
von: Sainati, Daniel, et al.
Veröffentlicht: (2025)

Tawa: Automatic Warp Specialization for Modern GPUs with Asynchronous References
von: Chen, Hongzheng, et al.
Veröffentlicht: (2025)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
von: Li, Guchan, et al.
Veröffentlicht: (2026)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
von: Bondhugula, Uday, et al.
Veröffentlicht: (2026)

Scaling Deep Learning Training with MPMD Pipeline Parallelism
von: Xhebraj, Anxhelo, et al.
Veröffentlicht: (2024)

Compiling to recurrent neurons
von: Velez-Ginorio, Joey, et al.
Veröffentlicht: (2025)

Compiling to linear neurons
von: Velez-Ginorio, Joey, et al.
Veröffentlicht: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
von: Deng, Chaoyi, et al.
Veröffentlicht: (2024)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
von: Jin, Hongyi, et al.
Veröffentlicht: (2026)

Compiler generated feedback for Large Language Models
von: Grubisic, Dejan, et al.
Veröffentlicht: (2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
von: Mora, Federico, et al.
Veröffentlicht: (2024)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
von: Xu, Shuyuan, et al.
Veröffentlicht: (2024)

Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization
von: Marinov, Teodor V., et al.
Veröffentlicht: (2024)

Small Language Models as Compiler Experts: Auto-Parallelization for Heterogeneous Systems
von: Devadiga, Prathamesh
Veröffentlicht: (2025)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
von: Zhao, Yifan, et al.
Veröffentlicht: (2026)

The Next 700 ML-Enabled Compiler Optimizations
von: VenkataKeerthy, S., et al.
Veröffentlicht: (2023)

The Algebra of Patterns (Extended Version)
von: Binder, David, et al.
Veröffentlicht: (2025)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
von: Sanchez-Stern, Alex, et al.
Veröffentlicht: (2024)

LLM-Aided Compilation for Tensor Accelerators
von: Hong, Charles, et al.
Veröffentlicht: (2024)

A Performance Model for Warp Specialization Kernels
von: Liu, Zhengyang, et al.
Veröffentlicht: (2025)

Transformers are Efficient Compilers, Provably
von: Zhai, Xiyu, et al.
Veröffentlicht: (2024)

An LLM-Tool Compiler for Fused Parallel Function Calling
von: Singh, Simranjit, et al.
Veröffentlicht: (2024)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
von: Ravi, Nikil, et al.
Veröffentlicht: (2026)

LOOPerSet: A Large-Scale Dataset for Data-Driven Polyhedral Compiler Optimization
von: Merouani, Massinissa, et al.
Veröffentlicht: (2025)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
von: Barrière, Aurèle, et al.
Veröffentlicht: (2025)

Finding Missed Code Size Optimizations in Compilers using LLMs
von: Italiano, Davide, et al.
Veröffentlicht: (2024)

Formal Verification of Variational Quantum Circuits
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
von: Zhang, Xiao, et al.
Veröffentlicht: (2025)

Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve
von: Chen, Hongzheng, et al.
Veröffentlicht: (2026)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
von: Qiu, Jie, et al.
Veröffentlicht: (2024)

depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
von: You, Kaichao, et al.
Veröffentlicht: (2024)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
von: Liu, Yiqun, et al.
Veröffentlicht: (2026)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
von: Vaidya, Sairam, et al.
Veröffentlicht: (2025)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
von: Yang, Chenyuan, et al.
Veröffentlicht: (2023)

ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
von: Pan, Haolin, et al.
Veröffentlicht: (2026)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
von: Mitchell, Jacqueline L., et al.
Veröffentlicht: (2025)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
von: Lacouture, Rubens, et al.
Veröffentlicht: (2025)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
von: Xin, Yutong, et al.
Veröffentlicht: (2026)

LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations
von: Tang, Annabelle Sujun, et al.
Veröffentlicht: (2026)