Buchumschlag

Modeling Layout Abstractions Using Integer Set Relations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bhaskaracharya, Somashekaracharya G, Acharya, Aravind, Hagedorn, Bastian, Grover, Vinod
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Performance Model for Warp Specialization Kernels
von: Liu, Zhengyang, et al.
Veröffentlicht: (2025)

Tawa: Automatic Warp Specialization for Modern GPUs with Asynchronous References
von: Chen, Hongzheng, et al.
Veröffentlicht: (2025)

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

Abstraction Functions as Types
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)

Pattern Matching in AI Compilers and its Formalization (Extended Version)
von: Cutler, Joseph W., et al.
Veröffentlicht: (2024)

Scaling Deep Learning Training with MPMD Pipeline Parallelism
von: Xhebraj, Anxhelo, et al.
Veröffentlicht: (2024)

Spineless Traversal for Layout Invalidation
von: Kirisame, Marisa, et al.
Veröffentlicht: (2024)

Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
von: Jin, Hongyi, et al.
Veröffentlicht: (2026)

E-Graphs as a Persistent Compiler Abstraction
von: Merckx, Jules, et al.
Veröffentlicht: (2026)

Contextual MetaML: Syntax and Full Abstraction
von: Yin, Haoxuan, et al.
Veröffentlicht: (2026)

The Continuous Tensor Abstraction: Where Indices are Real
von: Won, Jaeyeon, et al.
Veröffentlicht: (2024)

Fusing Gathers with Integer Linear Programming
von: van Balen, David, et al.
Veröffentlicht: (2024)

Optimizing Layout of Recursive Datatypes with Marmoset
von: Singhal, Vidush, et al.
Veröffentlicht: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
von: DeLorenzo, Matthew, et al.
Veröffentlicht: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
von: Hideshima, Takato, et al.
Veröffentlicht: (2024)

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

Decoupling Data Layouts from Bounding Volume Hierarchies
von: Gyurgyik, Christophe, et al.
Veröffentlicht: (2025)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
von: Kang, Byeongjee, et al.
Veröffentlicht: (2025)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Abstractions of Sequences, Functions and Operators
von: Rustenholz, Louis, et al.
Veröffentlicht: (2025)

CuTe Layout Representation and Algebra
von: Cecka, Cris
Veröffentlicht: (2026)

Categorical Foundations for CuTe Layouts
von: Carlisle, Jack, et al.
Veröffentlicht: (2026)

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)

Linear-Time T-Gate Optimization via Random Abstraction
von: Albarghouthi, Aws
Veröffentlicht: (2026)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Synthesizing Document Database Queries using Collection Abstractions
von: Liu, Qikang, et al.
Veröffentlicht: (2024)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
von: Dantanarayana, Jayanaka L., et al.
Veröffentlicht: (2024)

Data-driven Verification of Procedural Programs with Integer Arrays
von: Bouajjani, Ahmed, et al.
Veröffentlicht: (2025)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
von: Younis, Ed
Veröffentlicht: (2025)

Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
von: Lai, Ruihang, et al.
Veröffentlicht: (2023)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
von: Stengel-Eskin, Elias, et al.
Veröffentlicht: (2024)

KestRel: Relational Verification Using E-Graphs for Program Alignment
von: Dickerson, Robert, et al.
Veröffentlicht: (2024)

Modeling Reachability Types with Logical Relations
von: Bao, Yuyan, et al.
Veröffentlicht: (2023)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
von: Barth, Max, et al.
Veröffentlicht: (2025)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

Modal Abstractions for Virtualizing Memory Addresses
von: Kuru, Ismail, et al.
Veröffentlicht: (2023)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
von: Sohn, Gina, et al.
Veröffentlicht: (2025)

Set-theoretic Types for Erlang
von: Schimpf, Albert, et al.
Veröffentlicht: (2023)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
von: Rocha, Filipe Marinho, et al.
Veröffentlicht: (2024)