Image de couverture de livre

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi
Format:	Preprint
Publié:	2024
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

FunLess: Functions-as-a-Service for Private Edge Cloud Systems
par: De Palma, Giuseppe, et autres
Publié: (2024)

Affinity-aware Serverless Function Scheduling
par: De Palma, Giuseppe, et autres
Publié: (2024)

On the Complexity of Reachability Properties in Serverless Function Scheduling
par: De Palma, Giuseppe, et autres
Publié: (2024)

Type-Based Enforcement of Non-Interference for Choreographic Programming
par: Bertoni, Marco, et autres
Publié: (2026)

Proceedings First Workshop on Adaptable Cloud Architectures
par: De Palma, Giuseppe, et autres
Publié: (2025)

Adaptable TeaStore
par: Bliudze, Simon, et autres
Publié: (2024)

Priority Matters: Optimising Kubernetes Clusters Usage with Constraint-Based Pod Packing
par: Christensen, Henrik Daniel, et autres
Publié: (2025)

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

Suki: Choreographed Distributed Dataflow in Rust
par: Laddad, Shadaj, 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)

Pact: A Choreographic Language for Agentic Ecosystems
par: Gopinathan, Kiran, et autres
Publié: (2026)

Failure-Resilient and Carbon-Efficient Deployment of Microservices over the Cloud-Edge Continuum
par: Ponce, Francisco, et autres
Publié: (2026)

Comparing Parallel Functional Array Languages: Programming and Performance
par: van Balen, David, et autres
Publié: (2025)

Adaptable TeaStore: A Choreographic Approach
par: De Palma, Giuseppe, et autres
Publié: (2025)

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

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

Fair Termination of Asynchronous Binary Sessions
par: Padovani, Luca, et autres
Publié: (2025)

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

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

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

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

Towards a Linear-Algebraic Hypervisor
par: Considine, Breandan
Publié: (2026)

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

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

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

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

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

AeroDaaS: Towards an Application Programming Framework for Drones-as-a-Service
par: Raj, Suman, et autres
Publié: (2025)

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

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

Scheduling Languages: A Past, Present, and Future Taxonomy
par: Hall, Mary, et autres
Publié: (2024)

Developing a Modular Compiler for a Subset of a C-like Language
par: Dutta, Debasish, et autres
Publié: (2025)

LEGO: A Layout Expression Language for Code Generation of Hierarchical Mapping
par: Tavakkoli, Amir Mohammad, et autres
Publié: (2025)

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)

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

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

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

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

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