:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bhaskaracharya, Somashekaracharya G, Acharya, Aravind, Hagedorn, Bastian, Grover, Vinod
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2511.10374
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)

Spineless Traversal for Layout Invalidation
by: Kirisame, Marisa, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

CuTe Layout Representation and Algebra
by: Cecka, Cris
Published: (2026)

Categorical Foundations for CuTe Layouts
by: Carlisle, Jack, et al.
Published: (2026)

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

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

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

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
by: De Angelis, Emanuele, 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)

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

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

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

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

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

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

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

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

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

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

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

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

Potential of WebAssembly for Embedded Systems
by: Wallentowitz, Stefan, et al.
Published: (2024)

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

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)