Konstantinos Kallas

Registered user since Sat 8 Feb 2020

Name:Konstantinos Kallas
Affiliation:University of Pennsylvania
Research interests:Programming Languages, Distributed Systems, Formal Methods

Contributions

PLDI 2022 Author of (OOPSLA 2021) Durable functions: semantics for stateful serverless within the SIGPLAN Track-track
PPoPP 2022 Author of Stream Processing with Dependency-Guided Synchronization within the Main Conference-track
POPL 2022 Student Volunteer Co-Chair in Organizing Committee
SPLASH 2021 Author of An Order-Aware Dataflow Model for Parallel Unix Pipelines within the SIGPLAN Papers-track
Author of Durable Functions: Semantics for Stateful Serverless within the OOPSLA-track
Author of DiffStream: Differential Output Testing for Stream Processing Programs within the SIGPLAN Papers-track
VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track
POPL 2021 Author of Data-Parallel Shell Scripting within the Student Research Competition-track
ICFP 2021 Author of An Order-Aware Dataflow Model for Parallel Unix Pipelines within the Research Papers-track
SPLASH 2020 Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA-track
Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA Artifacts-track
Session Chair of T-6A (part of OOPSLA)
PLDI 2020 Presenter of From stateless functions to stateful applications: Azure Durable Functions within the Sponsors-track
ICSE 2020 Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track