Saved in:
| Main Authors: | Robinson, Benjamin, Yoshida, Nobuko |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.06875 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Sal: Multi-modal Verification of Replicated Data Types
by: Ramesh, Pranav, et al.
Published: (2026)
by: Ramesh, Pranav, et al.
Published: (2026)
Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
by: Marowka, Ami
Published: (2026)
by: Marowka, Ami
Published: (2026)
Extending Contract Verification for Parallel Programming Models to Fortran
by: Oraji, Yussur Mustafa, et al.
Published: (2026)
by: Oraji, Yussur Mustafa, et al.
Published: (2026)
Mat2Boundary: Treating User-Defined Boundary Condition as SpMV for Distributed PDE Solvers on Block-Structured Grids
by: Cai, Yanzheng, et al.
Published: (2026)
by: Cai, Yanzheng, et al.
Published: (2026)
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
by: Kocal, Ali Rasim, et al.
Published: (2026)
by: Kocal, Ali Rasim, et al.
Published: (2026)
ScanWeaver: Compiler-Driven Parallelization of Affine Recurrences via Associative Scan Lowering
by: Wu, Qiying, et al.
Published: (2026)
by: Wu, Qiying, et al.
Published: (2026)
Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
by: Singh, Ajay, et al.
Published: (2025)
by: Singh, Ajay, et al.
Published: (2025)
Timetide: A programming model for logically synchronous distributed systems
by: Kenwright, Logan, et al.
Published: (2025)
by: Kenwright, Logan, et al.
Published: (2025)
Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
by: Ivanenko, Serhii, et al.
Published: (2022)
by: Ivanenko, Serhii, et al.
Published: (2022)
MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
by: Zhang, Zheng, et al.
Published: (2025)
by: Zhang, Zheng, et al.
Published: (2025)
Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
by: Hinnerskov, Nikolaj Hey, et al.
Published: (2025)
by: Hinnerskov, Nikolaj Hey, et al.
Published: (2025)
An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
by: Rodriguez-Canal, Gabriel, et al.
Published: (2025)
by: Rodriguez-Canal, Gabriel, et al.
Published: (2025)
Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems
by: Costanzo, Manuel, et al.
Published: (2022)
by: Costanzo, Manuel, et al.
Published: (2022)
Flo: a Semantic Foundation for Progressive Stream Processing
by: Laddad, Shadaj, et al.
Published: (2024)
by: Laddad, Shadaj, et al.
Published: (2024)
Choreographies as Macros
by: Bohosian, Alexander, et al.
Published: (2025)
by: Bohosian, Alexander, et al.
Published: (2025)
OMP4Py: a pure Python implementation of OpenMP
by: Piñeiro, César, et al.
Published: (2024)
by: Piñeiro, César, et al.
Published: (2024)
Suki: Choreographed Distributed Dataflow in Rust
by: Laddad, Shadaj, et al.
Published: (2024)
by: Laddad, Shadaj, et al.
Published: (2024)
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
by: De Palma, Giuseppe, et al.
Published: (2024)
by: De Palma, Giuseppe, et al.
Published: (2024)
On the Duality of Task and Actor Programming Models
by: Yadav, Rohan, et al.
Published: (2025)
by: Yadav, Rohan, et al.
Published: (2025)
GuStL - An Experimental Guarded States Language
by: Schirmer, Oskar
Published: (2016)
by: Schirmer, Oskar
Published: (2016)
Detrimental task execution patterns in mainstream OpenMP runtimes
by: Tuft, Adam S., et al.
Published: (2024)
by: Tuft, Adam S., et al.
Published: (2024)
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
by: Bates, Mako, et al.
Published: (2024)
by: Bates, Mako, et al.
Published: (2024)
Streamlining Cloud-Native Application Development and Deployment with Robust Encapsulation
by: Lertpongrujikorn, Pawissanutt, et al.
Published: (2024)
by: Lertpongrujikorn, Pawissanutt, et al.
Published: (2024)
PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
by: Haas, Julian, et al.
Published: (2025)
by: Haas, Julian, et al.
Published: (2025)
Distributed Locking as a Data Type
by: Haas, Julian, et al.
Published: (2024)
by: Haas, Julian, et al.
Published: (2024)
Fully integrating the Flang Fortran compiler with standard MLIR
by: Brown, Nick
Published: (2024)
by: Brown, Nick
Published: (2024)
Introducing Support for Move Operations in Melda CRDT
by: Brocco, Amos
Published: (2025)
by: Brocco, Amos
Published: (2025)
Actor Capabilities for Message Ordering (Extended Version)
by: Gordon, Colin S.
Published: (2025)
by: Gordon, Colin S.
Published: (2025)
Failure Transparency in Stateful Dataflow Systems (Technical Report)
by: Veresov, Aleksey, et al.
Published: (2024)
by: Veresov, Aleksey, et al.
Published: (2024)
Mapple: A Domain-Specific Language for Mapping Distributed Programs
by: Wei, Anjiang, et al.
Published: (2025)
by: Wei, Anjiang, et al.
Published: (2025)
Fortran... ok, and what's next?
by: Magnin, Vincent, et al.
Published: (2024)
by: Magnin, Vincent, et al.
Published: (2024)
Advances in Semantic Patching for HPC-oriented Refactorings with Coccinelle
by: Martone, Michele, et al.
Published: (2025)
by: Martone, Michele, et al.
Published: (2025)
NPB-Rust: NAS Parallel Benchmarks in Rust
by: Martins, Eduardo M., et al.
Published: (2025)
by: Martins, Eduardo M., et al.
Published: (2025)
Stream programs are monoid homomorphisms with state
by: Hou, Tyler, et al.
Published: (2025)
by: Hou, Tyler, et al.
Published: (2025)
Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
by: M, Abdulla
Published: (2025)
by: M, Abdulla
Published: (2025)
KPerfIR: Towards an Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
by: Guan, Yue, et al.
Published: (2025)
by: Guan, Yue, et al.
Published: (2025)
Coordination-free Collaborative Replication based on Operational Transformation
by: Takeichi, Masato
Published: (2024)
by: Takeichi, Masato
Published: (2024)
Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
by: Kacs, David, et al.
Published: (2024)
by: Kacs, David, et al.
Published: (2024)
TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
by: Li, Wei, et al.
Published: (2025)
by: Li, Wei, et al.
Published: (2025)
MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
by: Bates, Mako, et al.
Published: (2024)
by: Bates, Mako, et al.
Published: (2024)
Similar Items
-
Sal: Multi-modal Verification of Replicated Data Types
by: Ramesh, Pranav, et al.
Published: (2026) -
Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
by: Marowka, Ami
Published: (2026) -
Extending Contract Verification for Parallel Programming Models to Fortran
by: Oraji, Yussur Mustafa, et al.
Published: (2026) -
Mat2Boundary: Treating User-Defined Boundary Condition as SpMV for Distributed PDE Solvers on Block-Structured Grids
by: Cai, Yanzheng, et al.
Published: (2026) -
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
by: Kocal, Ali Rasim, et al.
Published: (2026)