Cloud-Scale Runtime Verification of Serverless Applications.

Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv

Browse the full CLOUD paper archive.