Imagen de Portada

Modeling Layout Abstractions Using Integer Set Relations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bhaskaracharya, Somashekaracharya G, Acharya, Aravind, Hagedorn, Bastian, Grover, Vinod
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Performance Model for Warp Specialization Kernels
por: Liu, Zhengyang, et al.
Publicado: (2025)

Tawa: Automatic Warp Specialization for Modern GPUs with Asynchronous References
por: Chen, Hongzheng, et al.
Publicado: (2025)

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

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Pattern Matching in AI Compilers and its Formalization (Extended Version)
por: Cutler, Joseph W., et al.
Publicado: (2024)

Scaling Deep Learning Training with MPMD Pipeline Parallelism
por: Xhebraj, Anxhelo, et al.
Publicado: (2024)

Spineless Traversal for Layout Invalidation
por: Kirisame, Marisa, et al.
Publicado: (2024)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
por: Jin, Hongyi, et al.
Publicado: (2026)

E-Graphs as a Persistent Compiler Abstraction
por: Merckx, Jules, et al.
Publicado: (2026)

Contextual MetaML: Syntax and Full Abstraction
por: Yin, Haoxuan, et al.
Publicado: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
por: Won, Jaeyeon, et al.
Publicado: (2024)

Fusing Gathers with Integer Linear Programming
por: van Balen, David, et al.
Publicado: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
por: DeLorenzo, Matthew, et al.
Publicado: (2025)

Optimizing Layout of Recursive Datatypes with Marmoset
por: Singhal, Vidush, et al.
Publicado: (2024)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
por: Hideshima, Takato, et al.
Publicado: (2024)

Decoupling Data Layouts from Bounding Volume Hierarchies
por: Gyurgyik, Christophe, et al.
Publicado: (2025)

Diagram Control and Model Order for Sugiyama Layouts
por: Domrös, Sören, et al.
Publicado: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
por: Kang, Byeongjee, et al.
Publicado: (2025)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

Abstractions of Sequences, Functions and Operators
por: Rustenholz, Louis, et al.
Publicado: (2025)

CuTe Layout Representation and Algebra
por: Cecka, Cris
Publicado: (2026)

Categorical Foundations for CuTe Layouts
por: Carlisle, Jack, et al.
Publicado: (2026)

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

Linear-Time T-Gate Optimization via Random Abstraction
por: Albarghouthi, Aws
Publicado: (2026)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
por: De Angelis, Emanuele, et al.
Publicado: (2024)

Synthesizing Document Database Queries using Collection Abstractions
por: Liu, Qikang, et al.
Publicado: (2024)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
por: Dantanarayana, Jayanaka L., et al.
Publicado: (2024)

Data-driven Verification of Procedural Programs with Integer Arrays
por: Bouajjani, Ahmed, et al.
Publicado: (2025)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
por: Younis, Ed
Publicado: (2025)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
por: Lai, Ruihang, et al.
Publicado: (2023)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
por: Stengel-Eskin, Elias, et al.
Publicado: (2024)

KestRel: Relational Verification Using E-Graphs for Program Alignment
por: Dickerson, Robert, et al.
Publicado: (2024)

Modeling Reachability Types with Logical Relations
por: Bao, Yuyan, et al.
Publicado: (2023)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
por: Barth, Max, et al.
Publicado: (2025)

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Modal Abstractions for Virtualizing Memory Addresses
por: Kuru, Ismail, et al.
Publicado: (2023)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
por: Sohn, Gina, et al.
Publicado: (2025)

Set-theoretic Types for Erlang
por: Schimpf, Albert, et al.
Publicado: (2023)

Synthesizing Formal Semantics from Executable Interpreters
por: Liu, Jiangyi, et al.
Publicado: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)