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
49*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
442021
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
382020
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
312021
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
212021
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
202021
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
14*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
132021
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
62023
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
52022
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
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 20th ACM Workshop on Hot Topics in Networks, 213-220, 2021
22021
Correctness in Stream Processing: Challenges and Opportunities.
C Stanford, K Kallas, R Alur
CIDR, 2022
12022
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
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20