Kalev Alpernas Aurojit Panda Leonid Ryzhyk Mooly Sagiv Cloud-Scale Runtime Verification of Serverless Applications. 92-107 2021 SoCC https://doi.org/10.1145/3472883.3486977 conf/cloud/2021 db/conf/cloud/socc2021.html#AlpernasPRS21