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 📓

2021

Cloud-Scale Runtime Verification of Serverless Applications

Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, and Mooly Sagiv
In SoCC'21 (ACM Symposium on Cloud Computing 2021)
Video

2020

The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics

Kalev Alpernas, Yotam Feldman, and Hila Peleg
In Onward!’20 (International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software 2020)
Video

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