Buchumschlag

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bates, Mako, Near, Joseph P.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Distributed, Parallel, and Cluster Computing
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
von: Bates, Mako, et al.
Veröffentlicht: (2024)

Suki: Choreographed Distributed Dataflow in Rust
von: Laddad, Shadaj, et al.
Veröffentlicht: (2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
von: De Palma, Giuseppe, et al.
Veröffentlicht: (2024)

Type-Based Enforcement of Non-Interference for Choreographic Programming
von: Bertoni, Marco, et al.
Veröffentlicht: (2026)

Pact: A Choreographic Language for Agentic Ecosystems
von: Gopinathan, Kiran, et al.
Veröffentlicht: (2026)

What Every Computer Scientist Needs To Know About Parallelization
von: Adefemi, Temitayo
Veröffentlicht: (2025)

On the Duality of Task and Actor Programming Models
von: Yadav, Rohan, et al.
Veröffentlicht: (2025)

Oblivious Robots Performing Different Tasks on Grid Without Knowing their Team Members
von: Ghosh, Satakshi, et al.
Veröffentlicht: (2022)

Extending Contract Verification for Parallel Programming Models to Fortran
von: Oraji, Yussur Mustafa, et al.
Veröffentlicht: (2026)

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
von: Marowka, Ami
Veröffentlicht: (2026)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
von: Kacs, David, et al.
Veröffentlicht: (2024)

Flo: a Semantic Foundation for Progressive Stream Processing
von: Laddad, Shadaj, et al.
Veröffentlicht: (2024)

Comparing Parallel Functional Array Languages: Programming and Performance
von: van Balen, David, et al.
Veröffentlicht: (2025)

The Free Termination Property of Queries Over Time
von: Power, Conor, et al.
Veröffentlicht: (2025)

Know Your Contract: Extending eIDAS Trust into Public Blockchains
von: Vaziry, Awid, et al.
Veröffentlicht: (2026)

OMP4Py: a pure Python implementation of OpenMP
von: Piñeiro, César, et al.
Veröffentlicht: (2024)

Detrimental task execution patterns in mainstream OpenMP runtimes
von: Tuft, Adam S., et al.
Veröffentlicht: (2024)

Streamlining Cloud-Native Application Development and Deployment with Robust Encapsulation
von: Lertpongrujikorn, Pawissanutt, et al.
Veröffentlicht: (2024)

Distributed Locking as a Data Type
von: Haas, Julian, et al.
Veröffentlicht: (2024)

Fully integrating the Flang Fortran compiler with standard MLIR
von: Brown, Nick
Veröffentlicht: (2024)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
von: Veresov, Aleksey, et al.
Veröffentlicht: (2024)

Fortran... ok, and what's next?
von: Magnin, Vincent, et al.
Veröffentlicht: (2024)

Coordination-free Collaborative Replication based on Operational Transformation
von: Takeichi, Masato
Veröffentlicht: (2024)

Concurrent Data Structures Made Easy (Extended Version)
von: Le, Callista, et al.
Veröffentlicht: (2024)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
von: Singh, Ajay, et al.
Veröffentlicht: (2025)

Timetide: A programming model for logically synchronous distributed systems
von: Kenwright, Logan, et al.
Veröffentlicht: (2025)

Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
von: Ivanenko, Serhii, et al.
Veröffentlicht: (2022)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
von: Zhang, Zheng, et al.
Veröffentlicht: (2025)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
von: Hinnerskov, Nikolaj Hey, et al.
Veröffentlicht: (2025)

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
von: Rodriguez-Canal, Gabriel, et al.
Veröffentlicht: (2025)

Sal: Multi-modal Verification of Replicated Data Types
von: Ramesh, Pranav, et al.
Veröffentlicht: (2026)

Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems
von: Costanzo, Manuel, et al.
Veröffentlicht: (2022)

Choreographies as Macros
von: Bohosian, Alexander, et al.
Veröffentlicht: (2025)

GuStL - An Experimental Guarded States Language
von: Schirmer, Oskar
Veröffentlicht: (2016)

Mat2Boundary: Treating User-Defined Boundary Condition as SpMV for Distributed PDE Solvers on Block-Structured Grids
von: Cai, Yanzheng, et al.
Veröffentlicht: (2026)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
von: Haas, Julian, et al.
Veröffentlicht: (2025)

Introducing Support for Move Operations in Melda CRDT
von: Brocco, Amos
Veröffentlicht: (2025)

Actor Capabilities for Message Ordering (Extended Version)
von: Gordon, Colin S.
Veröffentlicht: (2025)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
von: Kocal, Ali Rasim, et al.
Veröffentlicht: (2026)