Kalev Alpernas

According to our database, Kalev Alpernas authored at least 7 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

This is not the End: Rethinking Serverless Function Termination.

Kalev Alpernas, Aurojit Panda, Mooly Sagiv

CoRR, 2022

2021

Cloud-Scale Runtime Verification of Serverless Applications.

Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

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

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2019

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

2018

Secure serverless computing using dynamic information flow control.

Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein

Proc. ACM Program. Lang., 2018

Abstract Interpretation of Stateful Networks.

Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

Modular Safety Verification for Stateful Networks.

Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner

CoRR, 2017