Cover Image

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rasch, Ari
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hybrid Multiparty Session Types -- Full Version
by: Gheri, Lorenzo, et al.
Published: (2023)

Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)

Probing the Design Space: Parallel Versions for Exploratory Programming
by: Beckmann, Tom, et al.
Published: (2025)

Handling the Selection Monad (Full Version)
by: Plotkin, Gordon, et al.
Published: (2025)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
by: Gollamudi, Tarakaram, et al.
Published: (2025)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
by: Lööw, Andreas, et al.
Published: (2025)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
by: Jiang, Yuchen, et al.
Published: (2025)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
by: Karmios, Nat, et al.
Published: (2026)

Scheduling Languages: A Past, Present, and Future Taxonomy
by: Hall, Mary, et al.
Published: (2024)

Leveraging ASIC AI Chips for Homomorphic Encryption
by: Tong, Jianming, et al.
Published: (2025)

CHAD: Combinatory Homomorphic Automatic Differentiation
by: Vákár, Matthijs, et al.
Published: (2021)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
by: Zheng, Size, et al.
Published: (2026)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
by: Ho, Son, et al.
Published: (2024)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
by: Kocal, Ali Rasim, et al.
Published: (2026)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
by: Schröer, Philipp, et al.
Published: (2025)

A Compute-Matched Re-Evaluation of TroVE on MATH
by: Sesterhenn, Tobias, et al.
Published: (2025)

The Case for Multi-Version Experimental Evaluation (MVEE)
by: Jörz, Simon, et al.
Published: (2026)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)

Linearization via Rewriting (Long Version)
by: Lago, Ugo Dal, et al.
Published: (2025)

Full Iso-recursive Types
by: Zhou, Litao, et al.
Published: (2024)

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

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

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
by: Yrievich, Petro Baran
Published: (2026)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)

A Formal Semantics of C with OpenMP Parallelism (Extended Version)
by: Du, Ke, et al.
Published: (2026)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Parallel Dual-Numbers Reverse AD
by: Smeding, Tom, et al.
Published: (2022)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
by: Gladshtein, Vladimir, et al.
Published: (2024)

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

Asynchronous Global Protocols, Precisely: Full Proofs
by: Pischke, Kai, et al.
Published: (2025)

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

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)