Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Rasch, Ari
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Typing Strictness (Extended Version)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)

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

Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)

Opportunistically Parallel Lambda Calculus
di: Mell, Stephen, et al.
Pubblicazione: (2024)

Functional Meaning for Parallel Streaming
di: Rioux, Nick, et al.
Pubblicazione: (2025)

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

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

Handling Scope Checks (Extended Version)
di: Lee, Michael, et al.
Pubblicazione: (2026)

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

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

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

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

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

Generic Reduction-Based Interpreters (Extended Version)
di: Bach, Casper
Pubblicazione: (2025)

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

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

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

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

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

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