Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv. Cloud-Scale Runtime Verification of Serverless Applications. In Carlo Curino, Georgia Koutrika, Ravi Netravali, editors, SoCC '21: ACM Symposium on Cloud Computing, Seattle, WA, USA, November 1 - 4, 2021. pages 92-107, ACM, 2021. [doi]
Abstract is missing.