DiffStream: differential output testing for stream processing programs
Kallas, Konstantinos, Niksic, Filip, Stanford, Caleb, Alur, Rajeev
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Durable functions: semantics for stateful serverless
Burckhardt, Sebastian, Gillum, Chris, Justo, David, Kallas, Konstantinos, McMahon, Connor, Meiklejohn, Christopher S.
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Executing Microservice Applications on Serverless, Correctly
Kallas, Konstantinos, Zhang, Haoran, Alur, Rajeev, Angel, Sebastian, Liu, Vincent
Published in Proceedings of ACM on programming languages (09.01.2023)
Published in Proceedings of ACM on programming languages (09.01.2023)
Get full text
Journal Article
An order-aware dataflow model for parallel Unix pipelines
Handa, Shivam, Kallas, Konstantinos, Vasilakis, Nikos, Rinard, Martin C.
Published in Proceedings of ACM on programming languages (01.08.2021)
Published in Proceedings of ACM on programming languages (01.08.2021)
Get full text
Journal Article
Code‐level model checking in the software development workflow at Amazon Web Services
Chong, Nathan, Cook, Byron, Eidelman, Jonathan, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz‐Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.
Published in Software, practice & experience (01.04.2021)
Published in Software, practice & experience (01.04.2021)
Get full text
Journal Article
Code-Level Model Checking in the Software Development Workflow
Chong, Nathan, Cook, Byron, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz-Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (01.10.2020)
Get full text
Conference Proceeding
Report on the "The Future of the Shell" Panel at HotOS 2021
Greenberg, Michael, Kallas, Konstantinos, Vasilakis, Nikos, Kell, Stephen
Year of Publication 22.09.2021
Year of Publication 22.09.2021
Get full text
Journal Article
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Handa, Shivam, Kallas, Konstantinos, Vasilakis, Nikos, Rinard, Martin
Year of Publication 30.12.2020
Year of Publication 30.12.2020
Get full text
Journal Article
PaSh: Light-touch Data-Parallel Shell Processing
Vasilakis, Nikos, Kallas, Konstantinos, Mamouras, Konstantinos, Benetopoulos, Achilleas, Lazar Cvetković
Published in arXiv.org (03.04.2021)
Published in arXiv.org (03.04.2021)
Get full text
Paper
Journal Article
Serverless Workflows with Durable Functions and Netherite
Burckhardt, Sebastian, Gillum, Chris, Justo, David, Kallas, Konstantinos, McMahon, Connor, Meiklejohn, Christopher S
Year of Publication 26.02.2021
Year of Publication 26.02.2021
Get full text
Journal Article
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
Vasilakis, Nikos, Staicu, Cristian-Alexandru, Ntousakis, Grigoris, Kallas, Konstantinos, Karel, Ben, DeHon, André, Pradel, Michael
Year of Publication 31.10.2020
Year of Publication 31.10.2020
Get full text
Journal Article
Stream Processing With Dependency-Guided Synchronization (Extended Version)
Kallas, Konstantinos, Niksic, Filip, Stanford, Caleb, Alur, Rajeev
Published in arXiv.org (03.01.2022)
Get full text
Published in arXiv.org (03.01.2022)
Paper
Report on the "The Future of the Shell" Panel at HotOS 2021
Greenberg, Michael, Kallas, Konstantinos, Vasilakis, Nikos, Kell, Stephen
Published in arXiv.org (22.09.2021)
Get full text
Published in arXiv.org (22.09.2021)
Paper
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Handa, Shivam, Kallas, Konstantinos, Vasilakis, Nikos, Rinard, Martin
Published in arXiv.org (05.07.2021)
Get full text
Published in arXiv.org (05.07.2021)
Paper