HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. - Konstantinos Kallas; Konstantinos Sagonas (IFL, 2018)

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 (ICSE (SEIP), 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)

An Order-aware Dataflow Model for Extracting Shell Script Parallelism. - Shivam Handa; Konstantinos Kallas; Nikos Vasilakis; Martin C. Rinard (CoRR, 2020)

DiffStream: differential output testing for stream processing programs. - Konstantinos Kallas; Filip Niksic; Caleb Stanford; Rajeev Alur (Proc. ACM Program. Lang., 2020)

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 (CCS, 2021)

PaSh: light-touch data-parallel shell processing. - Nikos Vasilakis; Konstantinos Kallas; Konstantinos Mamouras; Achilles Benetopoulos; Lazar Cvetkovic (EuroSys, 2021)

Charon: A Framework for Microservice Overload Control. - Jiali Xing; Henri Maxime Demoulin; Konstantinos Kallas; Benjamin C. Lee (HotNets, 2021)

The future of the shell: Unix and beyond. - Michael Greenberg 002; Konstantinos Kallas; Nikos Vasilakis (HotOS, 2021)

Unix shell programming: the next 50 years. - Michael Greenberg 002; Konstantinos Kallas; Nikos Vasilakis (HotOS, 2021)

Synchronization Schemas. - Rajeev Alur; Phillip Hilliard; Zachary G. Ives; Konstantinos Kallas; Konstantinos Mamouras; Filip Niksic; Caleb Stanford; Val Tannen; Anton Xue (PODS, 2021)

Serverless Workflows with Durable Functions and Netherite. - Sebastian Burckhardt; Chris Gillum; David Justo; Konstantinos Kallas; Connor McMahon; Christopher S. Meiklejohn (CoRR, 2021)

Report on the "The Future of the Shell" Panel at HotOS 2021. - Michael Greenberg 002; Konstantinos Kallas; Nikos Vasilakis; Stephen Kell (CoRR, 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)

An order-aware dataflow model for parallel Unix pipelines. - Shivam Handa; Konstantinos Kallas; Nikos Vasilakis; Martin C. Rinard (Proc. ACM Program. Lang., 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)

Correctness in Stream Processing: Challenges and Opportunities. - Caleb Stanford; Konstantinos Kallas; Rajeev Alur (CIDR, 2022)

Practically Correct, Just-in-Time Shell Script Parallelization. - Konstantinos Kallas; Tammam Mustafa; Jan Bielak; Dimitris Karnikis; Thurston H. Y. Dang; Michael Greenberg 002; Nikos Vasilakis (OSDI, 2022)

Stream processing with dependency-guided synchronization. - Konstantinos Kallas; Filip Niksic; Caleb Stanford; Rajeev Alur (PPoPP, 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)

Executing Shell Scripts in the Wrong Order, Correctly. - Georgios Liargkovas; Konstantinos Kallas; Michael Greenberg 002; Nikos Vasilakis (HotOS, 2023)

DiSh: Dynamic Shell-Script Distribution. - Tammam Mustafa; Konstantinos Kallas; Pratyush Das 001; Nikos Vasilakis (NSDI, 2023)

Executing Microservice Applications on Serverless, Correctly. - Konstantinos Kallas; Haoran Zhang; Rajeev Alur; Sebastian Angel; Vincent Liu 001 (Proc. ACM Program. Lang., 2023)

MuCache: A General Framework for Caching in Microservice Graphs. - Haoran Zhang; Konstantinos Kallas; Spyros Pavlatos; Rajeev Alur; Sebastian Angel; Vincent Liu 001 (NSDI, 2024)

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 006; Michael Greenberg 002; Konstantinos Kallas; Konstantinos Mamouras; Nikos Vasilakis (HotOS, 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 (NSDI, 2025)

The Koala Benchmarks for the Shell: Characterization and Implications. - Evangelos Lamprou; Ethan Williams; Georgios Kaoukis; Zhuoxuan Zhang; Michael Greenberg 002; Konstantinos Kallas; Lukas Lazarek; Nikos Vasilakis (USENIX ATC, 2025)

NaSh: Guardrails for an LLM-Powered Natural Language Shell. - Bimal Raj Gyawali; Saikrishna Achalla; Konstantinos Kallas; Sam Kumar (CoRR, 2025)