Secure serverless computing using dynamic information flow control K Alpernas, C Flanagan, S Fouladi, L Ryzhyk, M Sagiv, T Schmitz, ... Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-26, 2018 | 74 | 2018 |
Some complexity results for stateful network verification Y Velner, K Alpernas, A Panda, A Rabinovich, M Sagiv, S Shenker, ... Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 36 | 2016 |
Cloud-scale runtime verification of serverless applications K Alpernas, A Panda, L Ryzhyk, M Sagiv Proceedings of the ACM Symposium on Cloud Computing, 92-107, 2021 | 14 | 2021 |
The wonderful wizard of LoC: Paying attention to the man behind the curtain of lines-of-code metrics K Alpernas, YMY Feldman, H Peleg Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 11 | 2020 |
Abstract interpretation of stateful networks K Alpernas, R Manevich, A Panda, M Sagiv, S Shenker, S Shoham, ... Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 10 | 2018 |
Method and system for debugging a system on chip under test M Ovadia, K Alpernas US Patent 9,792,402, 2017 | 6 | 2017 |
Enriched log viewer N Chazan, N Garber, RR Shenkar, T Tabakman, K Alpernas US Patent 9,244,814, 2016 | 2 | 2016 |
The Wonderful Wizard of LoC K Alpernas, YMY Feldman, H Peleg Onward, 2020 | 1 | 2020 |
This is not the End: Rethinking Serverless Function Termination K Alpernas, A Panda, M Sagiv arXiv preprint arXiv:2211.02330, 2022 | | 2022 |
Some complexity results for stateful network verification K Alpernas, A Panda, A Rabinovich, M Sagiv, S Shenker, S Shoham, ... Formal Methods in System Design 54, 191-231, 2019 | | 2019 |
SAFETY VERIFICATION OF STATEFUL NETWORKS K Alpernas Tel Aviv University, 2016 | | 2016 |
System, method, and computer program product for constraint solving M Teplitsky, E Gavish, K Alpernas US Patent 9,189,743, 2015 | | 2015 |
Automatic Software Verification 2015 Prof. Mooly Sagiv Lecture 2: SAT Solvers K Alpernas, E Firman | | 2015 |