Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ding, Yaoyao, Hou, Bohan, Zhang, Xiao, Lin, Allan, Chen, Tianqi, Hao, Cody Yu, Wang, Yida, Pekhimenko, Gennady
Format:	Preprint
Published:	2025
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

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
by: Zhang, Xiao, et al.
Published: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
by: Dong, Honghua, et al.
Published: (2024)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
by: Zheng, Size, et al.
Published: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers
by: Hou, Bohan, et al.
Published: (2026)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
by: Dong, Honghua, et al.
Published: (2025)

SwiftFusion: Scalable Sequence Parallelism for Distributed Inference of Diffusion Transformers on GPUs
by: Yang, Jiacheng, et al.
Published: (2026)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
by: Li, Feifei, et al.
Published: (2026)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
by: Li, Wei, et al.
Published: (2025)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
by: Xiao, Youwei, et al.
Published: (2025)

Language-Based Security for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2024)

Latency Based Tiling
by: Cashman, Jack
Published: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
by: Seidel, Raphael, et al.
Published: (2024)

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

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Transition-Oriented Programming: Developing Provably Correct Systems
by: Ding, Yepeng
Published: (2020)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
by: Chen, Ethan, et al.
Published: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
by: Shen, Gan, et al.
Published: (2024)

Consistent Distributed Reactive Programming with Retroactive Computation
by: Kamina, Tetsuo, et al.
Published: (2025)

Crux, a Precise Verifier for Rust and Other Languages
by: Pernsteiner, Stuart, et al.
Published: (2024)

Towards Repository-Level Program Verification with Large Language Models
by: Zhong, Si Cheng, et al.
Published: (2025)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

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

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
by: Cassano, Federico, et al.
Published: (2023)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
by: Zhao, Yifan, et al.
Published: (2026)

A Programming Language for Feasible Solutions
by: Chen, Weijun, et al.
Published: (2025)

From Program Logics to Language Logics
by: Cimini, Matteo
Published: (2024)

A Multilingual Python Programming Language
by: Bazaz, Saad Ahmed, et al.
Published: (2025)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
by: Arbore, Russel, et al.
Published: (2024)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
by: Tekriwal, Mohit, et al.
Published: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
by: Lim, Sangho, et al.
Published: (2025)

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

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

Using Code Snippets to Teach Programming Languages
by: Akingbade, Joshua, et al.
Published: (2025)

A Brief Overview of the Pawns Programming Language
by: Naish, Lee
Published: (2024)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

Leroy: Library Learning for Imperative Programming Languages
by: Bellur, Abhiram, et al.
Published: (2024)