Cover Image

Fast Collection Operations from Indexed Stream Fusion

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kovach, Scott, Kolichala, Praneeth, Miller, Kyle A., Broman, David, Kjolstad, Fredrik
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Compiler for Operations on Relations with Bag Semantics
by: Dong, James, et al.
Published: (2025)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
by: Xu, Haoran, et al.
Published: (2024)

Scorch: A Library for Sparse Deep Learning
by: Yan, Bobby, et al.
Published: (2024)

Compilation of Modular and General Sparse Workspaces
by: Zhang, Genghan, et al.
Published: (2024)

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

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

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
by: Sundram, Shiv, et al.
Published: (2025)

Real-Time Probabilistic Programming
by: Hummelgren, Lars, et al.
Published: (2023)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
by: Chougule, Atharva, et al.
Published: (2026)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
by: Eriksson, Oscar, et al.
Published: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
by: Lundén, Daniel, et al.
Published: (2023)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
by: Hummelgren, Lars, et al.
Published: (2022)

On the Duality of Task and Actor Programming Models
by: Yadav, Rohan, et al.
Published: (2025)

Bonsai: Compiling Queries to Pruned Tree Traversals
by: Root, Alexander J, et al.
Published: (2025)

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
by: Soi, Rupanshu, et al.
Published: (2025)

Compile-Time Java Stream Fusion via mapMulti
by: Bugayenko, Yegor, et al.
Published: (2026)

A Pure Demand Operational Semantics with Applications to Program Analysis
by: Smith, Scott, et al.
Published: (2023)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
by: Kiselyov, Oleg, et al.
Published: (2024)

Repr Types: One Abstraction to Rule Them All
by: Palmkvist, Viktor, et al.
Published: (2024)

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
by: Siracusa, Marco, et al.
Published: (2025)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
by: Zhao, Yifan, et al.
Published: (2025)

Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)

Automatic Tracing in Task-Based Runtime Systems
by: Yadav, Rohan, et al.
Published: (2024)

SimpliPy: A Source-Tracking Notional Machine for Simplified Python
by: Jain, Moida Praneeth, et al.
Published: (2025)

Functional Meaning for Parallel Streaming
by: Rioux, Nick, et al.
Published: (2025)

Pacing Types for Asynchronous Stream Equations
by: Kohn, Florian, et al.
Published: (2026)

Pacing Types: Safe Monitoring of Asynchronous Streams
by: Kohn, Florian, et al.
Published: (2025)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
by: Cutler, Joseph W., et al.
Published: (2024)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

Fast Atomicity Monitoring
by: Tun, Hünkar Can, et al.
Published: (2026)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
by: Zhang, Zheng, et al.
Published: (2025)

An Operational Semantics for Yul
by: Koutavas, Vasileios, et al.
Published: (2024)

On Circuit Description Languages, Indexed Monads, and Resource Analysis
by: Sakayori, Ken, et al.
Published: (2025)

Improving compiler support for SIMD offload using Arm Streaming SVE
by: Mohamed, Mohamed Husain Noor, et al.
Published: (2025)

Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
by: Saey, Mathijs, et al.
Published: (2025)

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

Persistent Amortised Analysis, Operationally
by: Lorenzen, Anton
Published: (2026)

Fast and Extensible Hybrid Embeddings with Micros
by: Bocirnea, Sean, et al.
Published: (2025)

Prime Path Coverage in the GNU Compiler Collection
by: Kvalsvik, Jørgen
Published: (2025)