Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ding, Yaoyao, Hou, Bohan, Zhang, Xiao, Lin, Allan, Chen, Tianqi, Hao, Cody Yu, Wang, Yida, Pekhimenko, Gennady
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
von: Zheng, Size, et al.
Veröffentlicht: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
von: Faro, Simone, et al.
Veröffentlicht: (2025)

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers
von: Hou, Bohan, et al.
Veröffentlicht: (2026)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
von: Dong, Honghua, et al.
Veröffentlicht: (2025)

SwiftFusion: Scalable Sequence Parallelism for Distributed Inference of Diffusion Transformers on GPUs
von: Yang, Jiacheng, et al.
Veröffentlicht: (2026)

SGLang: Efficient Execution of Structured Language Model Programs
von: Zheng, Lianmin, et al.
Veröffentlicht: (2023)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
von: Li, Wei, et al.
Veröffentlicht: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)

Language-Based Security for Low-Level MPC
von: Skalka, Christian, et al.
Veröffentlicht: (2024)

Latency Based Tiling
von: Cashman, Jack
Veröffentlicht: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
von: Seidel, Raphael, 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)

Transition-Oriented Programming: Developing Provably Correct Systems
von: Ding, Yepeng
Veröffentlicht: (2020)

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

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
von: Chen, Ethan, et al.
Veröffentlicht: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

Consistent Distributed Reactive Programming with Retroactive Computation
von: Kamina, Tetsuo, et al.
Veröffentlicht: (2025)

Crux, a Precise Verifier for Rust and Other Languages
von: Pernsteiner, Stuart, et al.
Veröffentlicht: (2024)

Towards Repository-Level Program Verification with Large Language Models
von: Zhong, Si Cheng, et al.
Veröffentlicht: (2025)

Extensibility in Programming Languages: An overview
von: Nicolajsen, Sebastian mateos
Veröffentlicht: (2025)

Profiling Programming Language Learning
von: Crichton, Will, et al.
Veröffentlicht: (2024)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

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

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
von: Cassano, Federico, et al.
Veröffentlicht: (2023)

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

A Programming Language for Feasible Solutions
von: Chen, Weijun, et al.
Veröffentlicht: (2025)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

A Multilingual Python Programming Language
von: Bazaz, Saad Ahmed, et al.
Veröffentlicht: (2025)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
von: Arbore, Russel, et al.
Veröffentlicht: (2024)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
von: Tekriwal, Mohit, et al.
Veröffentlicht: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
von: Lim, Sangho, et al.
Veröffentlicht: (2025)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
von: Cheng, Xinhao, et al.
Veröffentlicht: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

Using Code Snippets to Teach Programming Languages
von: Akingbade, Joshua, et al.
Veröffentlicht: (2025)

A Brief Overview of the Pawns Programming Language
von: Naish, Lee
Veröffentlicht: (2024)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Leroy: Library Learning for Imperative Programming Languages
von: Bellur, Abhiram, et al.
Veröffentlicht: (2024)