On the public citation graph
Durable functions: semantics for stateful serverless
0 signed · 89 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-662-44202-9_13openalex-snapshot
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
inferredcites →https://doi.org/10.1007/s007780100038openalex-snapshot
XML-enabled workflow management for e-services across heterogeneous platforms
inferredcites →https://doi.org/10.1109/ucc-companion.2018.00049openalex-snapshot
Comparison of FaaS Orchestration Systems
inferredcites →https://doi.org/10.1145/199448.199484openalex-snapshot
The semantics of future and its use in program optimization
inferredcites →https://doi.org/10.1145/232627.232644openalex-snapshot
The semantics of Scheme with future
inferredcites →https://doi.org/10.1145/232629.232644openalex-snapshot
The semantics of Scheme with future
inferredcites →https://doi.org/10.1145/2414639.2414641openalex-snapshot
On the integration of the actor model in mainstream technologies
inferredcites →https://doi.org/10.1145/2429069.2429100openalex-snapshot
Fault tolerance via idempotence
inferredcites →https://doi.org/10.1145/2480359.2429100openalex-snapshot
Fault tolerance via idempotence
inferredcites →https://doi.org/10.1145/3133850.3133855openalex-snapshot
The serverless trilemma: function composition for serverless computing
inferredcites →https://doi.org/10.1145/3318464.3380609openalex-snapshot
Starling: A Scalable Query Engine on Cloud Functions
inferredcites →https://doi.org/10.1145/3318464.3389758openalex-snapshot
Lambada: Interactive Data Analytics on Cold Data Using Serverless Cloud Infrastructure
inferredcites →https://doi.org/10.1145/3342195.3387535openalex-snapshot
A fault-tolerance shim for serverless computing
inferredcites →https://doi.org/10.1145/3360575openalex-snapshot
Formal foundations of serverless computing
inferredcites →https://doi.org/10.1145/4472.4478openalex-snapshot
MULTILISP: a language for concurrent symbolic computation
inferredcites →https://doi.org/10.14778/3476249.3476273openalex-snapshot
Scaling replicated state machines with compartmentalization
inferredcites →https://doi.org/10.5555/767132.767139openalex-snapshot
XML-enabled workflow management for e-services across heterogeneous platforms
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4845120openalex-extracted
Serverless Computing: A Systematic Literature Review of Challenges and Opportunities
inferred← citeshttps://doi.org/10.1002/spe.3277openalex-snapshot
faas‐sim : A trace‐driven simulation framework for serverless edge computing platforms
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_5openalex-snapshot
A Survey of Actor-Like Programming Models for Serverless Computing
inferred← citeshttps://doi.org/10.1007/978-3-031-73887-6_13openalex-snapshot
Towards a Framework for Transitioning from Monolith to Serverless
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_4openalex-snapshot
Failure-Transparent Actors
inferred← citeshttps://doi.org/10.1007/978-3-032-39708-9_17openalex-snapshot
A Systems-Level Evaluation of Serverless Architectures in Mission-Critical Environments
inferred← citeshttps://doi.org/10.1007/978-981-97-3526-6_19openalex-snapshot
From Stateless to Stateful: A Comparative Analysis of Stateful Serverless Computing Frameworks
inferred← citeshttps://doi.org/10.1007/s00778-023-00819-8openalex-snapshot
A survey on the evolution of stream processing systems
inferred← citeshttps://doi.org/10.1007/s00778-024-00898-1openalex-snapshot
Netherite: efficient execution of serverless workflows
inferred← citeshttps://doi.org/10.1007/s00778-026-00971-xopenalex-snapshot
State Migration in Styx: Towards Serverless Transactional Functions
inferred← citeshttps://doi.org/10.1016/j.is.2026.102724openalex-snapshot
Histrio: Actor-based programming and correctness guarantees for serverless environments
inferred← citeshttps://doi.org/10.1016/j.jpdc.2024.104891openalex-snapshot
Exploiting inherent elasticity of serverless in algorithms with unbalanced and irregular workloads
inferred← citeshttps://doi.org/10.1016/j.pmcj.2022.101689openalex-snapshot
FaaS execution models for edge applications
inferred← citeshttps://doi.org/10.1016/j.pmcj.2026.102175openalex-snapshot
Design and implementation of a platform for stateful agents at the edge
inferred← citeshttps://doi.org/10.1016/j.sysarc.2025.103577openalex-snapshot
Databelt: A continuous data path for serverless workflows in the 3D compute continuum
inferred← citeshttps://doi.org/10.1109/ccgrid57682.2023.00053openalex-snapshot
XFaaS: Cross-platform Orchestration of FaaS Workflows on Hybrid Clouds
inferred← citeshttps://doi.org/10.1109/ccgrid64434.2025.00030openalex-snapshot
Performance Characterization of Data Store Event Trigger Mechanisms for Serverless Computing
inferred← citeshttps://doi.org/10.1109/cogmi56440.2022.00011openalex-snapshot
A Serverless Computing Fabric for Edge & Cloud
inferred← citeshttps://doi.org/10.1109/globalaisummit62156.2024.10947999openalex-snapshot
Priority Based Approach For Pre-Warming and Pre-Baking Functions to Optimize Cold Start In Serverless Computing
inferred← citeshttps://doi.org/10.1109/ic2e61754.2024.00013openalex-snapshot
MISO: A CRDT-based Middleware for Stateful Objects in the Serverless Edge-Cloud Continuum
inferred← citeshttps://doi.org/10.1109/icc59461.2026.11587947openalex-snapshot
Helios: Context-, Energy-, and Periodicity-Aware Orchestration for LEO Compute Clouds
inferred← citeshttps://doi.org/10.1109/icpads60453.2023.00308openalex-snapshot
Online Function Caching in Serverless Edge Computing
inferred← citeshttps://doi.org/10.1109/icpads67057.2025.11323035openalex-snapshot
FEDeS: Fair, Efficient, and Reliable Multi-Tenant Deep Learning Training with Serverless Computing
inferred← citeshttps://doi.org/10.1109/icws62655.2024.00114openalex-snapshot
FunLess: Functions-as-a-Service for Private Edge Cloud Systems
inferred← citeshttps://doi.org/10.1109/ipdps54959.2023.00094openalex-snapshot
rFaaS: Enabling High Performance Serverless with RDMA and Leases
inferred← citeshttps://doi.org/10.1109/ipdps65963.2026.00095openalex-snapshot
EdgeWeaver: Accelerating IoT Application Development Across Edge-Cloud Continuum
inferred← citeshttps://doi.org/10.1109/meco70748.2026.11578989openalex-snapshot
Event-Driven Orchestration of Sales-to-Production Workflows in Microservice-Based Fashion Systems
inferred← citeshttps://doi.org/10.1109/mic.2023.3260939openalex-snapshot
Serverless Edge Computing—Where We Are and What Lies Ahead
inferred← citeshttps://doi.org/10.1109/mitp.2023.3333071openalex-snapshot
Formally Verifying Function Scheduling Properties in Serverless Applications
inferred← citeshttps://doi.org/10.1109/smartcloud69481.2026.00014openalex-snapshot
Durable Execution for AI Agents: A Design Pattern for Fault-Tolerant Agent Loops
inferred← citeshttps://doi.org/10.1109/tcc.2025.3628953openalex-snapshot
DesFaaS: Cross-Layer Joint Dynamic Deployment System for Serverless Stateful Functions
inferred← citeshttps://doi.org/10.1145/3510412openalex-snapshot
A Holistic View on Resource Management in Serverless Computing Environments: Taxonomy and Future Directions
inferred← citeshttps://doi.org/10.1145/3563835.3567664openalex-snapshot
Portals: An Extension of Dataflow Streaming for Stateful Serverless
inferred← citeshttps://doi.org/10.1145/3571206openalex-snapshot
Executing Microservice Applications on Serverless, Correctly
inferred← citeshttps://doi.org/10.1145/3575693.3575752openalex-snapshot
BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution
inferred← citeshttps://doi.org/10.1145/3588195.3592993openalex-snapshot
FlexLog: A Shared Log for Stateful Serverless Computing
inferred← citeshttps://doi.org/10.1145/3591273openalex-snapshot
Reliable Actors with Retry Orchestration
inferred← citeshttps://doi.org/10.1145/3600006.3613154openalex-snapshot
Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing
inferred← citeshttps://doi.org/10.1145/3622758openalex-snapshot
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
inferred← citeshttps://doi.org/10.1145/3622758.3622895openalex-snapshot
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
inferred← citeshttps://doi.org/10.1145/3630180openalex-snapshot
Proceedings of the 2nd International Workshop on Middleware for the Edge
inferred← citeshttps://doi.org/10.1145/3689031.3717465openalex-snapshot
SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
inferred← citeshttps://doi.org/10.1145/3698038.3698517openalex-snapshot
Komet: A Serverless Platform for Low-Earth Orbit Edge Services
inferred← citeshttps://doi.org/10.1145/3698038.3698567openalex-snapshot
Process-as-a-Service: Unifying Elastic and Stateful Clouds with Serverless Processes
inferred← citeshttps://doi.org/10.1145/3703790.3703797openalex-snapshot
GoldFish: Serverless Actors with Short-Term Memory State for the Edge-Cloud Continuum
inferred← citeshttps://doi.org/10.1145/3722212.3725635openalex-snapshot
Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
inferred← citeshttps://doi.org/10.1145/3725363openalex-snapshot
Styx: Transactional Stateful Functions on Streaming Dataflows
inferred← citeshttps://doi.org/10.1145/3725985openalex-snapshot
Efficient Fault Tolerance for Stateful Serverless Computing with Asymmetric Logging
inferred← citeshttps://doi.org/10.1145/3733620.3733631openalex-snapshot
CausalMesh: A Causal Cache for Stateful Serverless Computing
inferred← citeshttps://doi.org/10.1145/3735106openalex-snapshot
Proceedings of the 19th International Symposium on Database Programming Languages
inferred← citeshttps://doi.org/10.1145/3735106.3736537openalex-snapshot
Cascade: From Imperative Code to Stateful Dataflows
inferred← citeshttps://doi.org/10.1145/3763127openalex-snapshot
SafeTree: Expressive Tree Policies for Microservices
inferred← citeshttps://doi.org/10.1145/3777545openalex-snapshot
Programming Scalable Elastic Services with AEON
inferred← citeshttps://doi.org/10.1145/3841482openalex-snapshot
New Kids: An Architecture and Performance Investigation of Second-Generation Serverless Platforms
inferred← citeshttps://doi.org/10.14778/3611479.3611526openalex-snapshot
Check Out the Big Brain on BRAD: Simplifying Cloud Data Processing with Learned Automated Data Meshes
inferred← citeshttps://doi.org/10.14778/3611540.3611619openalex-snapshot
Portals: A Showcase of Multi-Dataflow Stateful Serverless
inferred← citeshttps://doi.org/10.14778/3704965.3704969openalex-snapshot
CausalMesh: A Causal Cache for Stateful Serverless Computing
inferred← citeshttps://doi.org/10.3390/buildings16122433openalex-snapshot
Serverless 3D Reconstruction and Spatial Anchoring for Cloud-Native Infrastructure Inspection
inferred← citeshttps://doi.org/10.3390/software5010005openalex-snapshot
Data-Centric Serverless Computing with LambdaStore
inferred← citeshttps://doi.org/10.70675/3d17a2d6z19bbz4b7az8011z1ee81781cceeopenalex-snapshot
Varda : a language for programming distributed systems by composition
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.