Seguir
Konstantinos Kallas
Konstantinos Kallas
Dirección de correo verificada de seas.upenn.edu - Página principal
Título
Citado por
Citado por
Año
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
38*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), Article 133, 2021
372021
Code Level Model-Checking in the Software Development Workflow
N Chong, B Cook, K Kallas, K Khazem, F Monteiro, D Schwartz-Narbonne, ...
42st International Conference on Software Engineering: Software Engineering …, 2020
332020
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
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
182021
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 …, 2021
172021
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
172020
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
13*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
122021
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
52022
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
42022
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
42021
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
32023
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
32021
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
32018
Charon: A Framework for Microservice Overload Control
J Xing, HM Demoulin, K Kallas, BC Lee
Proceedings of the Twentieth ACM Workshop on Hot Topics in Networks, 213-220, 2021
22021
Correctness in stream processing: Challenges and opportunities
C Stanford, K Kallas, R Alur
Conference on Innovative Data Systems Research (CIDR), 2022
12022
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
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
2023
Report on the" The Future of the Shell" Panel at HotOS 2021
M Greenberg, K Kallas, N Vasilakis, S Kell
arXiv preprint arXiv:2109.11016, 2021
2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20