| Netherite: Efficient execution of serverless workflows S Burckhardt, B Chandramouli, C Gillum, D Justo, K Kallas, C McMahon, ... Proceedings of the VLDB Endowment 15 (8), 1591-1604, 2022 | 80* | 2022 |
| Durable functions: Semantics for stateful serverless S Burckhardt, C Gillum, D Justo, K Kallas, C McMahon, CS Meiklejohn Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 69 | 2021 |
| Code-level model checking in the software development workflow N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ... Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 47 | 2020 |
| Preventing dynamic library compromise on node. js via rwx-based privilege reduction N Vasilakis, CA Staicu, G Ntousakis, K Kallas, B Karel, A DeHon, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 41 | 2021 |
| Pash: Light-touch data-parallel shell processing N Vasilakis, K Kallas, K Mamouras, A Benetopoulos, L Cvetković Proceedings of the Sixteenth European Conference on Computer Systems, 49-66, 2021 | 26 | 2021 |
| Code‐level model checking in the software development workflow at Amazon web services N Chong, B Cook, J Eidelman, K Kallas, K Khazem, FR Monteiro, ... Software: Practice and Experience 51 (4), 772-797, 2021 | 25 | 2021 |
| Unix shell programming: the next 50 years M Greenberg, K Kallas, N Vasilakis Proceedings of the Workshop on Hot Topics in Operating Systems, 104-111, 2021 | 21 | 2021 |
| DiffStream: differential output testing for stream processing programs K Kallas, F Niksic, C Stanford, R Alur Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 21 | 2020 |
| Executing microservice applications on serverless, correctly K Kallas, H Zhang, R Alur, S Angel, V Liu Proceedings of the ACM on Programming Languages 7 (POPL), 367-395, 2023 | 17 | 2023 |
| An order-aware dataflow model for parallel unix pipelines S Handa, K Kallas, N Vasilakis, MC Rinard Proceedings of the ACM on Programming Languages 5 (ICFP), 1-28, 2021 | 17* | 2021 |
| Practically Correct, Just-in-Time Shell Script Parallelization K Kallas, T Mustafa, J Bielak, D Karnikis, THY Dang, M Greenberg, ... 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022 | 8 | 2022 |
| Stream processing with dependency-guided synchronization K Kallas, F Niksic, C Stanford, R Alur Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of …, 2022 | 7 | 2022 |
| Synchronization schemas R Alur, P Hilliard, ZG Ives, K Kallas, K Mamouras, F Niksic, C Stanford, ... Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2021 | 6 | 2021 |
| The future of the shell: Unix and beyond M Greenberg, K Kallas, N Vasilakis Proceedings of the Workshop on Hot Topics in Operating Systems, 240-241, 2021 | 4 | 2021 |
| Hiperjit: A profile-driven just-in-time compiler for erlang K Kallas, K Sagonas Proceedings of the 30th Symposium on Implementation and Application of …, 2018 | 4 | 2018 |
| MuCache: A General Framework for Caching in Microservice Graphs H Zhang, K Kallas, S Pavlatos, R Alur, S Angel, V Liu 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024 | 3 | 2024 |
| Executing Shell Scripts in the Wrong Order, Correctly G Liargkovas, K Kallas, M Greenberg, N Vasilakis Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 103-109, 2023 | 3 | 2023 |
| DiSh: Dynamic Shell-Script Distribution T Mustafa, K Kallas, P Das, N Vasilakis 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023 | 3 | 2023 |
| Charon: A Framework for Microservice Overload Control J Xing, HM Demoulin, K Kallas, BC Lee Proceedings of the 20th ACM Workshop on Hot Topics in Networks, 213-220, 2021 | 2 | 2021 |
| Correctness in Stream Processing: Challenges and Opportunities. C Stanford, K Kallas, R Alur CIDR, 2022 | 1 | 2022 |
Nikos VasilakisBrown University & MITVerified email at brown.edu
