Kalev Alpernas

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 10

Top Topics

Signature Verification

Abstract Interpretation

Information Flow Control

Top Venues

Proc. ACM Program. Lang.

Formal Methods Syst. Des.

Publications

Kalev Alpernas, Aurojit Panda, Mooly Sagiv
This is not the End: Rethinking Serverless Function Termination. CoRR (2022)
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Some Complexity Results for Stateful Network Verification. CoRR (2021)
Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv
Cloud-Scale Runtime Verification of Serverless Applications. SoCC (2021)
Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg
The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics. Onward! (2020)
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Some complexity results for stateful network verification. Formal Methods Syst. Des. 54 (2) (2019)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure serverless computing using dynamic information flow control. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure Serverless Computing Using Dynamic Information Flow Control. CoRR (2018)
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Abstract Interpretation of Stateful Networks. SAS (2018)
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Modular Safety Verification for Stateful Networks. CoRR (2017)
Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham
Some Complexity Results for Stateful Network Verification. TACAS (2016)