Kalev Alpernas

According to our database, Kalev Alpernas authored at least 4 papers between 2017 and 2019.

Collaborative distances:

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

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