Konstantinos Kallas

33 papers A* 3A 6B 1Misc 4Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Caruca: Effective and Efficient Specification Mining for Opaque Software Components.
CoRR
Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya, Lukas Lazarek, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis
2025 A conf
From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs.
HotOS
Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis
2025 J jnl
NaSh: Guardrails for an LLM-Powered Natural Language Shell.
CoRR
Bimal Raj Gyawali, Saikrishna Achalla, Konstantinos Kallas, Sam Kumar
2025 J jnl
Netherite: efficient execution of serverless workflows.
VLDB J.
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
2025 J jnl
Opportunistically Parallel Lambda Calculus.
Proc. ACM Program. Lang.
Stephen Mell, Konstantinos Kallas, Steve Zdancewic, Osbert Bastani
2025 Misc conf
Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive Microservices.
NSDI
Jiali Xing, Akis Giannoukos, Paul Loh, Shuyue Wang, Justin Qiu, Henri Maxime Demoulin, Konstantinos Kallas, Benjamin C. Lee
2025 — conf
The Koala Benchmarks for the Shell: Characterization and Implications.
USENIX ATC
Evangelos Lamprou, Ethan Williams, Georgios Kaoukis, Zhuoxuan Zhang, Michael Greenberg, Konstantinos Kallas, Lukas Lazarek, Nikos Vasilakis
2024 Misc conf
MuCache: A General Framework for Caching in Microservice Graphs.
NSDI
Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu
2023 Misc conf
DiSh: Dynamic Shell-Script Distribution.
NSDI
Tammam Mustafa, Konstantinos Kallas, Pratyush Das, Nikos Vasilakis
2023 J jnl
Executing Microservice Applications on Serverless, Correctly.
Proc. ACM Program. Lang.
Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu
2023 A conf
Executing Shell Scripts in the Wrong Order, Correctly.
HotOS
Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis
2022 A conf
Correctness in Stream Processing: Challenges and Opportunities.
CIDR
Caleb Stanford, Konstantinos Kallas, Rajeev Alur
2022 J jnl
Netherite: Efficient Execution of Serverless Workflows.
Proc. VLDB Endow.
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher Meiklejohn, Xiangfeng Zhu
2022 A* conf
Practically Correct, Just-in-Time Shell Script Parallelization.
OSDI
Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg, Nikos Vasilakis
2022 B conf
Stream processing with dependency-guided synchronization.
PPoPP
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021 J jnl
An order-aware dataflow model for parallel Unix pipelines.
Proc. ACM Program. Lang.
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard
2021 Misc conf
Charon: A Framework for Microservice Overload Control.
HotNets
Jiali Xing, Henri Maxime Demoulin, Konstantinos Kallas, Benjamin C. Lee
2021 J jnl
Code-level model checking in the software development workflow at Amazon Web Services.
Softw. Pract. Exp.
Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
2021 J jnl
Durable functions: semantics for stateful serverless.
Proc. ACM Program. Lang.
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
2021 A conf
PaSh: light-touch data-parallel shell processing.
EuroSys
Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilles Benetopoulos, Lazar Cvetkovic
2021 A* conf
Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction.
CCS
Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
2021 J jnl
Report on the "The Future of the Shell" Panel at HotOS 2021.
CoRR
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Stephen Kell
2021 J jnl
Serverless Workflows with Durable Functions and Netherite.
CoRR
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
2021 J jnl
Stream Processing With Dependency-Guided Synchronization.
CoRR
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021 A* conf
Synchronization Schemas.
PODS
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
2021 A conf
The future of the shell: Unix and beyond.
HotOS
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis
2021 A conf
Unix shell programming: the next 50 years.
HotOS
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis
2020 J jnl
An Order-aware Dataflow Model for Extracting Shell Script Parallelism.
CoRR
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard
2020 — conf
Code-level model checking in the software development workflow.
ICSE (SEIP)
Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
2020 J jnl
DiffStream: differential output testing for stream processing programs.
Proc. ACM Program. Lang.
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2020 J jnl
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript.
CoRR
Nikos Vasilakis, Cristian-Alexandru Staicu, Greg Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
2020 J jnl
PaSh: Light-touch Data-Parallel Shell Processing.
CoRR
Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilleas Benetopoulos, Lazar Cvetkovich
2018 — conf
HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang.
IFL
Konstantinos Kallas, Konstantinos Sagonas