Modular Safety Verification for Stateful Networks. - Kalev Alpernas; Roman Manevich; Aurojit Panda; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (CoRR, 2017)

Abstract Interpretation of Stateful Networks. - Kalev Alpernas; Roman Manevich; Aurojit Panda; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (SAS, 2018)

Secure serverless computing using dynamic information flow control. - Kalev Alpernas; Cormac Flanagan; Sadjad Fouladi; Leonid Ryzhyk; Mooly Sagiv; Thomas Schmitz 001; Keith Winstein (Proc. ACM Program. Lang., 2018)

Some complexity results for stateful network verification. - Kalev Alpernas; Aurojit Panda; Alexander Rabinovich; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (Formal Methods Syst. Des., 2019)

The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics. - Kalev Alpernas; Yotam M. Y. Feldman; Hila Peleg (Onward!, 2020)

Cloud-Scale Runtime Verification of Serverless Applications. - Kalev Alpernas; Aurojit Panda; Leonid Ryzhyk; Mooly Sagiv (SoCC, 2021)

This is not the End: Rethinking Serverless Function Termination. - Kalev Alpernas; Aurojit Panda; Mooly Sagiv (CoRR, 2022)