Imagen de Portada

Suki: Choreographed Distributed Dataflow in Rust

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Laddad, Shadaj, Cheung, Alvin, Hellerstein, Joseph M.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Distributed, Parallel, and Cluster Computing
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Flo: a Semantic Foundation for Progressive Stream Processing
por: Laddad, Shadaj, et al.
Publicado: (2024)

Optimizing Distributed Protocols with Query Rewrites [Technical Report]
por: Chu, David, et al.
Publicado: (2024)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
por: Bates, Mako, et al.
Publicado: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
por: Bates, Mako, et al.
Publicado: (2024)

The Free Termination Property of Queries Over Time
por: Power, Conor, et al.
Publicado: (2025)

NPB-Rust: NAS Parallel Benchmarks in Rust
por: Martins, Eduardo M., et al.
Publicado: (2025)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
por: Li, Wei, et al.
Publicado: (2025)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
por: De Palma, Giuseppe, et al.
Publicado: (2024)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
por: Veresov, Aleksey, et al.
Publicado: (2024)

Pact: A Choreographic Language for Agentic Ecosystems
por: Gopinathan, Kiran, et al.
Publicado: (2026)

Type-Based Enforcement of Non-Interference for Choreographic Programming
por: Bertoni, Marco, et al.
Publicado: (2026)

The Coordination Criterion
por: Hellerstein, Joseph M.
Publicado: (2026)

Learned Cost Model for Placement on Reconfigurable Dataflow Hardware
por: Guha, Etash, et al.
Publicado: (2025)

Distributed Locking as a Data Type
por: Haas, Julian, et al.
Publicado: (2024)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
por: Wei, Anjiang, et al.
Publicado: (2025)

Pragma driven shared memory parallelism in Zig by supporting OpenMP loop directives
por: Kacs, David, et al.
Publicado: (2024)

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

On the Duality of Task and Actor Programming Models
por: Yadav, Rohan, et al.
Publicado: (2025)

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

TAPA: A Scalable Task-Parallel Dataflow Programming Framework for Modern FPGAs with Co-Optimization of HLS and Physical Design
por: Guo, Licheng, et al.
Publicado: (2022)

OMP4Py: a pure Python implementation of OpenMP
por: Piñeiro, César, et al.
Publicado: (2024)

Detrimental task execution patterns in mainstream OpenMP runtimes
por: Tuft, Adam S., et al.
Publicado: (2024)

Streamlining Cloud-Native Application Development and Deployment with Robust Encapsulation
por: Lertpongrujikorn, Pawissanutt, et al.
Publicado: (2024)

Fully integrating the Flang Fortran compiler with standard MLIR
por: Brown, Nick
Publicado: (2024)

Fortran... ok, and what's next?
por: Magnin, Vincent, et al.
Publicado: (2024)

Coordination-free Collaborative Replication based on Operational Transformation
por: Takeichi, Masato
Publicado: (2024)

Concurrent Data Structures Made Easy (Extended Version)
por: Le, Callista, et al.
Publicado: (2024)

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

Timetide: A programming model for logically synchronous distributed systems
por: Kenwright, Logan, et al.
Publicado: (2025)

Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
por: Ivanenko, Serhii, et al.
Publicado: (2022)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
por: Zhang, Zheng, et al.
Publicado: (2025)

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

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
por: Rodriguez-Canal, Gabriel, et al.
Publicado: (2025)

Sal: Multi-modal Verification of Replicated Data Types
por: Ramesh, Pranav, et al.
Publicado: (2026)

Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems
por: Costanzo, Manuel, et al.
Publicado: (2022)

Choreographies as Macros
por: Bohosian, Alexander, et al.
Publicado: (2025)

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
por: Marowka, Ami
Publicado: (2026)

GuStL - An Experimental Guarded States Language
por: Schirmer, Oskar
Publicado: (2016)

Extending Contract Verification for Parallel Programming Models to Fortran
por: Oraji, Yussur Mustafa, et al.
Publicado: (2026)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
por: Haas, Julian, et al.
Publicado: (2025)