Image de couverture de livre

Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ding, Yaoyao, Hou, Bohan, Zhang, Xiao, Lin, Allan, Chen, Tianqi, Hao, Cody Yu, Wang, Yida, Pekhimenko, Gennady
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
par: Zhang, Xiao, et autres
Publié: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
par: Dong, Honghua, et autres
Publié: (2024)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
par: Zheng, Size, et autres
Publié: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
par: Faro, Simone, et autres
Publié: (2025)

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers
par: Hou, Bohan, et autres
Publié: (2026)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
par: Dong, Honghua, et autres
Publié: (2025)

SwiftFusion: Scalable Sequence Parallelism for Distributed Inference of Diffusion Transformers on GPUs
par: Yang, Jiacheng, et autres
Publié: (2026)

SGLang: Efficient Execution of Structured Language Model Programs
par: Zheng, Lianmin, et autres
Publié: (2023)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
par: Li, Wei, et autres
Publié: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
par: Li, Feifei, et autres
Publié: (2026)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
par: Xiao, Youwei, et autres
Publié: (2025)

Language-Based Security for Low-Level MPC
par: Skalka, Christian, et autres
Publié: (2024)

Latency Based Tiling
par: Cashman, Jack
Publié: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
par: Seidel, Raphael, et autres
Publié: (2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
par: Mora, Federico, et autres
Publié: (2024)

Transition-Oriented Programming: Developing Provably Correct Systems
par: Ding, Yepeng
Publié: (2020)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
par: Warren, David S., et autres
Publié: (2024)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
par: Chen, Ethan, et autres
Publié: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
par: Shen, Gan, et autres
Publié: (2024)

Consistent Distributed Reactive Programming with Retroactive Computation
par: Kamina, Tetsuo, et autres
Publié: (2025)

Crux, a Precise Verifier for Rust and Other Languages
par: Pernsteiner, Stuart, et autres
Publié: (2024)

Towards Repository-Level Program Verification with Large Language Models
par: Zhong, Si Cheng, et autres
Publié: (2025)

Extensibility in Programming Languages: An overview
par: Nicolajsen, Sebastian mateos
Publié: (2025)

Profiling Programming Language Learning
par: Crichton, Will, et autres
Publié: (2024)

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Very High Level Programming Languages (e.g., SNOBOL, COMIT) in the Special Librarian's Future
par: Libbey, Miles A.
Publié: (1975)

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
par: Cassano, Federico, et autres
Publié: (2023)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
par: Zhao, Yifan, et autres
Publié: (2026)

A Programming Language for Feasible Solutions
par: Chen, Weijun, et autres
Publié: (2025)

From Program Logics to Language Logics
par: Cimini, Matteo
Publié: (2024)

A Multilingual Python Programming Language
par: Bazaz, Saad Ahmed, et autres
Publié: (2025)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
par: Arbore, Russel, et autres
Publié: (2024)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
par: Tekriwal, Mohit, et autres
Publié: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
par: Lim, Sangho, et autres
Publié: (2025)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
par: Cheng, Xinhao, et autres
Publié: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
par: Xiong, Jing, et autres
Publié: (2026)

Using Code Snippets to Teach Programming Languages
par: Akingbade, Joshua, et autres
Publié: (2025)

A Brief Overview of the Pawns Programming Language
par: Naish, Lee
Publié: (2024)

Compilation Semantics for a Programming Language with Versions
par: Tanabe, Yudai, et autres
Publié: (2023)

Leroy: Library Learning for Imperative Programming Languages
par: Bellur, Abhiram, et autres
Publié: (2024)