Cover Image

Mirage: A Multi-Level Superoptimizer for Tensor Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Mengdi, Cheng, Xinhao, Liu, Shengyu, Shi, Chunan, Ji, Jianan, Ao, Kit, Velliengiri, Praveen, Miao, Xupeng, Padon, Oded, Jia, Zhihao
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Prism: Symbolic Superoptimization of Tensor Programs
by: Wu, Mengdi, et al.
Published: (2026)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
by: Cheng, Xinhao, et al.
Published: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
by: Tsukada, Takeshi, et al.
Published: (2025)

Towards Efficient Generative Large Language Model Serving: A Survey from Algorithms to Systems
by: Miao, Xupeng, et al.
Published: (2023)

FlexLLM: Token-Level Co-Serving of LLM Inference and Finetuning with SLO Guarantees
by: Oliaro, Gabriele, et al.
Published: (2024)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
by: Elad, Neta, et al.
Published: (2023)

Coral: Cost-Efficient Multi-LLM Serving over Heterogeneous Cloud GPUs
by: Mei, Yixuan, et al.
Published: (2026)

SpecInfer: Accelerating Generative Large Language Model Serving with Tree-based Speculative Inference and Verification
by: Miao, Xupeng, et al.
Published: (2023)

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
by: Lotan, Raz, et al.
Published: (2026)

Clover: Closed-Loop Verifiable Code Generation
by: Sun, Chuyue, et al.
Published: (2023)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
by: Frenkel, Eden, et al.
Published: (2024)

Superoptimal continued fractions
by: Sanderson, Slade
Published: (2025)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
by: Jin, Hongyi, et al.
Published: (2026)

SuperCoder: Assembly Program Superoptimization with Large Language Models
by: Wei, Anjiang, et al.
Published: (2025)

Numerical Superoptimization for Library Learning
by: Regehr, Jonas, et al.
Published: (2026)

Optimizing Multi-Tier Supply Chain Ordering with LNN+XGBoost: Mitigating the Bullwhip Effect
by: Tong, Chunan
Published: (2025)

Optimizing Multi-Tier Supply Chain Ordering with a Hybrid Liquid Neural Network and Extreme Gradient Boosting Model
by: Tong, Chunan
Published: (2025)

Lagrangian-Based Duality for Quantified SMT Algorithms - Artifact
by: Bocevska, Ivana, et al.
Published: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
by: Frenkel, Eden, et al.
Published: (2026)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
by: Liu, Zhengyang, et al.
Published: (2023)

AdaServe: Accelerating Multi-SLO LLM Serving with SLO-Customized Speculative Decoding
by: Li, Zikun, et al.
Published: (2025)

Optimal Kernel Orchestration for Tensor Programs with Korch
by: Hu, Muyan, et al.
Published: (2024)

Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version)
by: Xu, Mingkuan, et al.
Published: (2024)

An Efficient Intelligent Semi-Automated Warehouse Inventory Stocktaking System
by: Tong, Chunan
Published: (2023)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
by: Zhu, Qian, et al.
Published: (2025)

Helix: Serving Large Language Models over Heterogeneous GPUs and Network via Max-Flow
by: Mei, Yixuan, et al.
Published: (2024)

CodeMirage: A Multi-Lingual Benchmark for Detecting AI-Generated and Paraphrased Source Code from Production-Level LLMs
by: Guo, Hanxi, et al.
Published: (2025)

Quantized Side Tuning: Fast and Memory-Efficient Tuning of Quantized Large Language Models
by: Zhang, Zhengxin, et al.
Published: (2024)

Multi-Step Reasoning in Korean and the Emergent Mirage
by: Son, Guijin, et al.
Published: (2025)

Anomalous Point-Gap Interactions Unveil the Mirage Bath
by: Sun, Yue, et al.
Published: (2025)

Does Thinking More always Help? Mirage of Test-Time Scaling in Reasoning Models
by: Ghosal, Soumya Suvra, et al.
Published: (2025)

Mirage or Method? How Model-Task Alignment Induces Divergent RL Conclusions
by: Wu, Haoze, et al.
Published: (2025)

When AI Levels the Playing Field: Skill Homogenization, Asset Concentration, and Two Regimes of Inequality
by: Chen, Xupeng, et al.
Published: (2026)

Mirage of Police Reform
by: Worden, Robert, et al.
Published: (2020)

Mirage / Kathy Taylor
by: Taylor, Kathy

Parcae: Proactive, Liveput-Optimized DNN Training on Preemptible Instances
by: Duan, Jiangfei, et al.
Published: (2024)

$T^3$: Multi-level Tree-based Automatic Program Repair with Large Language Models
by: Liu, Quanming, et al.
Published: (2025)

ARMesh: Autoregressive Mesh Generation via Next-Level-of-Detail Prediction
by: Lei, Jiabao, et al.
Published: (2025)

Moderate Deviation Principle for a Stochastic Approximation Process
by: Shi, Jianan, et al.
Published: (2026)

Large deviation inequalities for the nonlinear unbalanced urn model
by: Shi, Jianan, et al.
Published: (2024)