关注
Konstantinos Kallas
Konstantinos Kallas
Assistant Professor, UCLA CS
在 cs.ucla.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
56*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
482021
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
222021
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
212021
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
15*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
142021
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
72023
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
系统目前无法执行此操作,请稍后再试。
文章 1–20