Kalev Alpernas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2021
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CLOUD | Cloud-Scale Runtime Verification of Serverless Applications. | Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv |
| 2020 | OOPSLA | 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 |
| 2018 | SAS | Abstract Interpretation of Stateful Networks. | Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
| 2016 | TACAS | Some Complexity Results for Stateful Network Verification. | Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham |