Formal foundations of serverless computing
The Morning Paper
NOVEMBER 17, 2019
Formal foundations of serverless computing Jangda et al., OOPSLA’19. Jangda et al. won a distinguished paper award at OOPSLA this year for their work on ‘Formal foundations of serverless computing.’ Central to the paper is their observation that the serverless execution environment has a number of unique properties (such as warm starting / reuse of execution environments) that can make it harder build correct applications.
58 
Let's personalize your content