Formal foundations of serverless computing

• Published in: Proceedings of ACM on programming languages Vol. 3; no. OOPSLA; pp. 1 - 26
• Main Authors: Jangda, Abhinav, Pinckney, Donald, Brun, Yuriy, Guha, Arjun
• Format: Journal Article
• Language: English
• Published: 01.10.2019

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 d...