Buchumschlag

Decoupling Data Layouts from Bounding Volume Hierarchies

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gyurgyik, Christophe, Root, Alexander J, Kjolstad, Fredrik
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

Bonsai: Compiling Queries to Pruned Tree Traversals
von: Root, Alexander J, et al.
Veröffentlicht: (2025)

Scorch: A Library for Sparse Deep Learning
von: Yan, Bobby, et al.
Veröffentlicht: (2024)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
von: Chougule, Atharva, et al.
Veröffentlicht: (2026)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
von: Xu, Haoran, et al.
Veröffentlicht: (2024)

A Compiler for Operations on Relations with Bag Semantics
von: Dong, James, et al.
Veröffentlicht: (2025)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Fast Collection Operations from Indexed Stream Fusion
von: Kovach, Scott, et al.
Veröffentlicht: (2025)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
von: Sundram, Shiv, et al.
Veröffentlicht: (2025)

FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
von: Lacouture, Rubens, et al.
Veröffentlicht: (2025)

On the Duality of Task and Actor Programming Models
von: Yadav, Rohan, et al.
Veröffentlicht: (2025)

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
von: Soi, Rupanshu, et al.
Veröffentlicht: (2025)

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

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
von: Siracusa, Marco, et al.
Veröffentlicht: (2025)

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

Modeling Layout Abstractions Using Integer Set Relations
von: Bhaskaracharya, Somashekaracharya G, 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)

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

Efficient Cost Bounds with Linear Maps
von: Kahn, David M, et al.
Veröffentlicht: (2025)

Synthesizing Backward Error Bounds, Backward
von: Zielinski, Laura, et al.
Veröffentlicht: (2026)

Lexicographic Ranking Supermartingales with Lazy Lower Bounds
von: Takisaka, Toru, et al.
Veröffentlicht: (2023)

Verifying Sequential Consistency under Bounded Preemptions
von: Govind, R., et al.
Veröffentlicht: (2026)

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
von: Steevens, Maarten, et al.
Veröffentlicht: (2026)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
von: Van der Cruysse, Jonathan, et al.
Veröffentlicht: (2023)

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

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
von: Singhal, Vidush, et al.
Veröffentlicht: (2026)

Augmented Weak Distance for Fast and Accurate Bounds Checking
von: Fu, Zhoulai, et al.
Veröffentlicht: (2025)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
von: Ma, Haoyang, et al.
Veröffentlicht: (2025)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
von: Rasheed, Abdullah H., et al.
Veröffentlicht: (2026)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
von: Nagar, Kartik, et al.
Veröffentlicht: (2020)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
von: Lian, Qihao, et al.
Veröffentlicht: (2025)

LEGO: A Layout Expression Language for Code Generation of Hierarchical Mapping
von: Tavakkoli, Amir Mohammad, et al.
Veröffentlicht: (2025)

Strided Difference Bound Matrices
von: Pitchanathan, Arjun, et al.
Veröffentlicht: (2024)

Hybrid Path-Sums for Hybrid Quantum Programs
von: Chareton, Christophe, et al.
Veröffentlicht: (2026)

Resource Specifications for Resource-Manipulating Programs
von: Grannan, Zachary, et al.
Veröffentlicht: (2023)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
von: Bolotina, Anna, et al.
Veröffentlicht: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
von: Lauwaerts, Tom, et al.
Veröffentlicht: (2025)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
von: He, Yang, et al.
Veröffentlicht: (2024)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
von: Liu, Shicheng, et al.
Veröffentlicht: (2023)

Understanding Haskell-style Overloading via Open Data and Open Functions
von: Marmaduke, Andrew, et al.
Veröffentlicht: (2025)