Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
Fuente:
arXiv
Guardado en:
| Autores principales: | Zhang, Xiao, Ding, Yaoyao, Sun, Bolin, Hu, Yang, Shpeisman, Tatiana, Pekhimenko, Gennady |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
por: Ding, Yaoyao, et al.
Publicado: (2025)
por: Ding, Yaoyao, et al.
Publicado: (2025)
Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers
por: Hou, Bohan, et al.
Publicado: (2026)
por: Hou, Bohan, et al.
Publicado: (2026)
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
por: Dong, Honghua, et al.
Publicado: (2024)
por: Dong, Honghua, et al.
Publicado: (2024)
AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
por: Xu, Shuyuan, et al.
Publicado: (2024)
por: Xu, Shuyuan, et al.
Publicado: (2024)
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
por: Biberstein, Paul, et al.
Publicado: (2025)
por: Biberstein, Paul, et al.
Publicado: (2025)
Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)
por: Wei, Anjiang, et al.
Publicado: (2025)
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
por: Dong, Honghua, et al.
Publicado: (2025)
por: Dong, Honghua, et al.
Publicado: (2025)
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)
Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines
por: Lin, Yu-An, et al.
Publicado: (2023)
por: Lin, Yu-An, et al.
Publicado: (2023)
PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
por: Liu, Yiqun, et al.
Publicado: (2026)
por: Liu, Yiqun, et al.
Publicado: (2026)
Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve
por: Chen, Hongzheng, et al.
Publicado: (2026)
por: Chen, Hongzheng, et al.
Publicado: (2026)
An LLM-Tool Compiler for Fused Parallel Function Calling
por: Singh, Simranjit, et al.
Publicado: (2024)
por: Singh, Simranjit, et al.
Publicado: (2024)
Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
por: Shen, Chen, et al.
Publicado: (2026)
por: Shen, Chen, et al.
Publicado: (2026)
AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
por: Lin, Hongyu, et al.
Publicado: (2025)
por: Lin, Hongyu, et al.
Publicado: (2025)
Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
por: Rossi, Roberto, et al.
Publicado: (2026)
por: Rossi, Roberto, et al.
Publicado: (2026)
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)
por: Wei, Anjiang, et al.
Publicado: (2025)
depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
por: You, Kaichao, et al.
Publicado: (2024)
por: You, Kaichao, et al.
Publicado: (2024)
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
por: Matricon, Théo, et al.
Publicado: (2024)
por: Matricon, Théo, et al.
Publicado: (2024)
ECCO: Evidence-Driven Causal Reasoning for Compiler Optimization
por: Pan, Haolin, et al.
Publicado: (2026)
por: Pan, Haolin, et al.
Publicado: (2026)
Neural Task Synthesis for Visual Programming
por: Pădurean, Victor-Alexandru, et al.
Publicado: (2023)
por: Pădurean, Victor-Alexandru, et al.
Publicado: (2023)
LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations
por: Tang, Annabelle Sujun, et al.
Publicado: (2026)
por: Tang, Annabelle Sujun, et al.
Publicado: (2026)
Is Programming by Example solved by LLMs?
por: Li, Wen-Ding, et al.
Publicado: (2024)
por: Li, Wen-Ding, et al.
Publicado: (2024)
Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
por: Li, Guchan, et al.
Publicado: (2026)
por: Li, Guchan, et al.
Publicado: (2026)
LoRAFusion: Efficient LoRA Fine-Tuning for LLMs
por: Zhu, Zhanda, et al.
Publicado: (2025)
por: Zhu, Zhanda, et al.
Publicado: (2025)
Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
por: Li, Minda, et al.
Publicado: (2026)
por: Li, Minda, et al.
Publicado: (2026)
Modelling Program Spaces in Program Synthesis with Constraints
por: Hinnerichs, Tilman, et al.
Publicado: (2025)
por: Hinnerichs, Tilman, et al.
Publicado: (2025)
Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
por: Cummins, Chris, et al.
Publicado: (2024)
por: Cummins, Chris, et al.
Publicado: (2024)
Emergent Representations of Program Semantics in Language Models Trained on Programs
por: Jin, Charles, et al.
Publicado: (2023)
por: Jin, Charles, et al.
Publicado: (2023)
The Elements of Differentiable Programming
por: Blondel, Mathieu, et al.
Publicado: (2024)
por: Blondel, Mathieu, et al.
Publicado: (2024)
EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
por: Li, Zhening, et al.
Publicado: (2025)
por: Li, Zhening, et al.
Publicado: (2025)
Probabilistic Programming with Programmable Variational Inference
por: Becker, McCoy R., et al.
Publicado: (2024)
por: Becker, McCoy R., et al.
Publicado: (2024)
Prism: Symbolic Superoptimization of Tensor Programs
por: Wu, Mengdi, et al.
Publicado: (2026)
por: Wu, Mengdi, et al.
Publicado: (2026)
Amortizing Pragmatic Program Synthesis with Rankings
por: Pu, Yewen, et al.
Publicado: (2024)
por: Pu, Yewen, et al.
Publicado: (2024)
Designing Algorithms Empowered by Language Models: An Analytical Framework, Case Studies, and Insights
por: Chen, Yanxi, et al.
Publicado: (2024)
por: Chen, Yanxi, et al.
Publicado: (2024)
Program Semantic Inequivalence Game with Large Language Models
por: Miceli-Barone, Antonio Valerio, et al.
Publicado: (2025)
por: Miceli-Barone, Antonio Valerio, et al.
Publicado: (2025)
Generating Pragmatic Examples to Train Neural Program Synthesizers
por: Vaduguru, Saujas, et al.
Publicado: (2023)
por: Vaduguru, Saujas, et al.
Publicado: (2023)
Mirage: A Multi-Level Superoptimizer for Tensor Programs
por: Wu, Mengdi, et al.
Publicado: (2024)
por: Wu, Mengdi, et al.
Publicado: (2024)
Program Skeletons for Automated Program Translation
por: Wang, Bo, et al.
Publicado: (2025)
por: Wang, Bo, et al.
Publicado: (2025)
What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces
por: Armengol-Estapé, Jordi, et al.
Publicado: (2025)
por: Armengol-Estapé, Jordi, et al.
Publicado: (2025)
LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
por: Zhang, Shuoming, et al.
Publicado: (2025)
por: Zhang, Shuoming, et al.
Publicado: (2025)
Ejemplares similares
-
Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
por: Ding, Yaoyao, et al.
Publicado: (2025) -
Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers
por: Hou, Bohan, et al.
Publicado: (2026) -
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
por: Dong, Honghua, et al.
Publicado: (2024) -
AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
por: Xu, Shuyuan, et al.
Publicado: (2024) -
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
por: Biberstein, Paul, et al.
Publicado: (2025)