Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ding, Yaoyao, Hou, Bohan, Zhang, Xiao, Lin, Allan, Chen, Tianqi, Hao, Cody Yu, Wang, Yida, Pekhimenko, Gennady
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Artificial Intelligence Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

Latency Based Tiling
por: Cashman, Jack
Publicado: (2025)

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

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

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

Transition-Oriented Programming: Developing Provably Correct Systems
por: Ding, Yepeng
Publicado: (2020)

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

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

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

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

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

Extensibility in Programming Languages: An overview
por: Nicolajsen, Sebastian mateos
Publicado: (2025)

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)

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

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

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

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

From Program Logics to Language Logics
por: Cimini, Matteo
Publicado: (2024)

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

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

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

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

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

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

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

A Brief Overview of the Pawns Programming Language
por: Naish, Lee
Publicado: (2024)

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

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