Image de couverture de livre

Branching Out: Existential External Choice in Effpi

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Robinson, Benjamin, Yoshida, Nobuko
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages Distributed, Parallel, and Cluster Computing
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Sal: Multi-modal Verification of Replicated Data Types
par: Ramesh, Pranav, et autres
Publié: (2026)

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
par: Marowka, Ami
Publié: (2026)

Extending Contract Verification for Parallel Programming Models to Fortran
par: Oraji, Yussur Mustafa, et autres
Publié: (2026)

Mat2Boundary: Treating User-Defined Boundary Condition as SpMV for Distributed PDE Solvers on Block-Structured Grids
par: Cai, Yanzheng, et autres
Publié: (2026)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
par: Kocal, Ali Rasim, et autres
Publié: (2026)

ScanWeaver: Compiler-Driven Parallelization of Affine Recurrences via Associative Scan Lowering
par: Wu, Qiying, et autres
Publié: (2026)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
par: Singh, Ajay, et autres
Publié: (2025)

Timetide: A programming model for logically synchronous distributed systems
par: Kenwright, Logan, et autres
Publié: (2025)

Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
par: Ivanenko, Serhii, et autres
Publié: (2022)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
par: Zhang, Zheng, et autres
Publié: (2025)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
par: Hinnerskov, Nikolaj Hey, et autres
Publié: (2025)

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
par: Rodriguez-Canal, Gabriel, et autres
Publié: (2025)

Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems
par: Costanzo, Manuel, et autres
Publié: (2022)

Flo: a Semantic Foundation for Progressive Stream Processing
par: Laddad, Shadaj, et autres
Publié: (2024)

Choreographies as Macros
par: Bohosian, Alexander, et autres
Publié: (2025)

OMP4Py: a pure Python implementation of OpenMP
par: Piñeiro, César, et autres
Publié: (2024)

Suki: Choreographed Distributed Dataflow in Rust
par: Laddad, Shadaj, et autres
Publié: (2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
par: De Palma, Giuseppe, et autres
Publié: (2024)

On the Duality of Task and Actor Programming Models
par: Yadav, Rohan, et autres
Publié: (2025)

GuStL - An Experimental Guarded States Language
par: Schirmer, Oskar
Publié: (2016)

Detrimental task execution patterns in mainstream OpenMP runtimes
par: Tuft, Adam S., et autres
Publié: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
par: Bates, Mako, et autres
Publié: (2024)

Streamlining Cloud-Native Application Development and Deployment with Robust Encapsulation
par: Lertpongrujikorn, Pawissanutt, et autres
Publié: (2024)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
par: Haas, Julian, et autres
Publié: (2025)

Distributed Locking as a Data Type
par: Haas, Julian, et autres
Publié: (2024)

Fully integrating the Flang Fortran compiler with standard MLIR
par: Brown, Nick
Publié: (2024)

Introducing Support for Move Operations in Melda CRDT
par: Brocco, Amos
Publié: (2025)

Actor Capabilities for Message Ordering (Extended Version)
par: Gordon, Colin S.
Publié: (2025)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
par: Veresov, Aleksey, et autres
Publié: (2024)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
par: Wei, Anjiang, et autres
Publié: (2025)

Fortran... ok, and what's next?
par: Magnin, Vincent, et autres
Publié: (2024)

Advances in Semantic Patching for HPC-oriented Refactorings with Coccinelle
par: Martone, Michele, et autres
Publié: (2025)

NPB-Rust: NAS Parallel Benchmarks in Rust
par: Martins, Eduardo M., et autres
Publié: (2025)

Stream programs are monoid homomorphisms with state
par: Hou, Tyler, et autres
Publié: (2025)

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
par: M, Abdulla
Publié: (2025)

KPerfIR: Towards an Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
par: Guan, Yue, et autres
Publié: (2025)

Coordination-free Collaborative Replication based on Operational Transformation
par: Takeichi, Masato
Publié: (2024)

Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
par: Kacs, David, et autres
Publié: (2024)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
par: Li, Wei, et autres
Publié: (2025)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
par: Bates, Mako, et autres
Publié: (2024)