Sun.Nov 17, 2019

Formal foundations of serverless computing

The Morning Paper

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