Kalev Alpernas Headshot

Hi, I'm Kalev Alpernas 👋

I am a PhD candidate in the Programming Languages and Systems Laboratory @TAU, under the supervision of Prof. Mooly Sagiv.
My research interests include Formal Verification and Programming Language, with a focus on application of verification techniques to serverless computing.

Contact: kalevalp@tauex.tau.ac.il

Publications 📓

2019
Some Complexity Results for Stateful Network Verification

Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, and Yaron Velner
In FMSD (Formal Methods in System Design)

2018
Secure Serverless Computing Using Dynamic Information Flow Control

Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, and Keith Winstein
In OOPSLA 2018 (Object-Oriented Programming, Systems, Languages and Applications, November 2018, Boston, USA)
Slides

2018
Abstract Interpretation of Stateful Networks

Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, and Yaron Velner.
In SAS 2018 (Static Analysis Symposium, August 2018, Freiburg im Breisgau, Germany)
Long version
Slides

2016
Some Complexity Results for Stateful Network Verification

Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, and Sharon Shoham
In TACAS 2016 (22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 2016, Eindhoven, The Netherlands)
Long version
Slides

Teaching 🏛

Fall '16. 0368-3245. Computer Science Learning in the Community.

M.Sc Thesis 🎓

2016
Safety Verification of Stateful Networks

Under the supervision of Prof. Mooly Sagiv and Dr. Sharon Shoham. Tel Aviv University (Submitted June 2016)