Follow
Konstantinos Kallas
Konstantinos Kallas
Verified email at seas.upenn.edu - Homepage
Title
Cited by
Cited by
Year
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
252020
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
13*2022
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
122021
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
122020
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
112021
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
10*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
102021
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
92021
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
72021
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
32022
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
32021
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
22021
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
22018
Correctness in Stream Processing: Challenges and Opportunities
C Stanford, K Kallas, R Alur
Conference on Innovative Data Systems Research (CIDR), 2022
12022
Executing Microservice Applications on Serverless, Correctly
K KALLAS, H ZHANG, R ALUR, S ANGEL, V LIU
2023
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
2022
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
2021
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
Data-Parallel Shell Scripting
K Kallas
ACM 2021 SRC Grand Finals, 2021
2021
Security Criteria for a Transparent Encryption Layer
K Kallas, C Schneidewind, BC Pierce, S Zdancewic
Workshop on Foundations of Computer Security 2019, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20