2 papers
cs.PL2019
Formal Foundations of Serverless Computing
Abhinav Jangda, Donald Pinckney, Yuriy Brun +1
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 compu…
cs.PL2018
Putting in All the Stops: Execution Control for JavaScript
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz +2
Scores of compilers produce JavaScript, enabling programmers to use many languages on the Web, reuse existing code, and even use Web IDEs. Unfortunately, most compilers inherit the…