Konstantinos Kallas

According to our database, Konstantinos Kallas authored at least 28 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

NaSh: Guardrails for an LLM-Powered Natural Language Shell.

Bimal Raj Gyawali, Saikrishna Achalla, Konstantinos Kallas, Sam Kumar

CoRR, June, 2025

The Koala Benchmarks for the Shell: Characterization and Implications.

Evangelos Lamprou, Ethan Williams, Georgios Kaoukis, Zhuoxuan Zhang, Michael Greenberg, Konstantinos Kallas, Lukas Lazarek, Nikos Vasilakis

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive Microservices.

Jiali Xing, Akis Giannoukos, Paul Loh, Shuyue Wang, Justin Qiu, Henri Maxime Demoulin, Konstantinos Kallas, Benjamin C. Lee

Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, 2025

From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs.

Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025

2024

MuCache: A General Framework for Caching in Microservice Graphs.

Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Executing Microservice Applications on Serverless, Correctly.

Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu

Proc. ACM Program. Lang., January, 2023

DiSh: Dynamic Shell-Script Distribution.

Tammam Mustafa, Konstantinos Kallas, Pratyush Das, Nikos Vasilakis

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Executing Shell Scripts in the Wrong Order, Correctly.

Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

Netherite: Efficient Execution of Serverless Workflows.

Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher Meiklejohn, Xiangfeng Zhu

Proc. VLDB Endow., 2022

Stream processing with dependency-guided synchronization.

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

Practically Correct, Just-in-Time Shell Script Parallelization.

Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg, Nikos Vasilakis

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Correctness in Stream Processing: Challenges and Opportunities.

Caleb Stanford, Konstantinos Kallas, Rajeev Alur

Proceedings of the 12th Conference on Innovative Data Systems Research, 2022

2021

Code-level model checking in the software development workflow at Amazon Web Services.

Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Softw. Pract. Exp., 2021

An order-aware dataflow model for parallel Unix pipelines.

Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard

Proc. ACM Program. Lang., 2021

Durable functions: semantics for stateful serverless.

Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn

Proc. ACM Program. Lang., 2021

Report on the "The Future of the Shell" Panel at HotOS 2021.

Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Stephen Kell

CoRR, 2021

Serverless Workflows with Durable Functions and Netherite.

Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn

CoRR, 2021

Synchronization Schemas.

Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Unix shell programming: the next 50 years.

Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

The future of the shell: Unix and beyond.

Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

Charon: A Framework for Microservice Overload Control.

Jiali Xing, Henri Maxime Demoulin, Konstantinos Kallas, Benjamin C. Lee

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

PaSh: light-touch data-parallel shell processing.

Nikos Vasilakis, Konstantinos Kallas, Konstantinos Mamouras, Achilles Benetopoulos, Lazar Cvetkovic

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction.

Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

DiffStream: differential output testing for stream processing programs.

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Proc. ACM Program. Lang., 2020

An Order-aware Dataflow Model for Extracting Shell Script Parallelism.

Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard

CoRR, 2020

Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript.

Nikos Vasilakis, Cristian-Alexandru Staicu, Greg Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel

CoRR, 2020

Code-level model checking in the software development workflow.

Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2018

HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang.

Konstantinos Kallas, Konstantinos Sagonas

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018