Formal foundations of serverless computing

@article{Jangda2019FormalFO,
  title={Formal foundations of serverless computing},
  author={Abhinav Jangda and Donald Pinckney and S. Baxter and Breanna Devore-McDonald and J. Spitzer and Yuriy Brun and Arjun Guha},
  journal={Proceedings of the ACM on Programming Languages},
  year={2019},
  volume={3},
  pages={1 - 26}
}
Serverless computing (also known as functions as a service) is a new cloud computing abstraction that makes it easier to write robust, large-scale web services. In serverless computing, programmers write what are called serverless functions, which are programs that respond to external events. When demand for the serverless function spikes, the platform automatically allocates additional hardware and manages load-balancing; when demand falls, the platform silently deallocates idle resources; and… Expand
A formal model for serverless computing
A Language-based Serverless Function Accelerator
A FaaS File System for Serverless Computing
Le Taureau: Deconstructing the Serverless Landscape & A Look Forward
Native DAG Execution in OpenWhisk
A Survey on Serverless Computing and Its Implications for JointCloud Computing
No more, no less - A formal model for serverless computing
...
1
2
3
...

References

SHOWING 1-3 OF 3 REFERENCES
Occupy the cloud: distributed computing for the 99%
Sprocket: A Serverless Video Processing Framework
KJS: a complete formal semantics of JavaScript