Konstantinos Kallas -

Registered user since Sat 8 Feb 2020

Name:Konstantinos Kallas

Country:United States

Affiliation:University of Pennsylvania

Personal website:https://angelhof.github.io/

Research interests:Programming Languages, Distributed Systems, Formal Methods

Contributions

SPLASH 2023	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
POPL 2023	Author of Executing Microservice Applications on Serverless, Correctly within the POPL-track Student Volunteer Co-Chair in Organizing Committee
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
ICFP 2021	Author of An Order-Aware Dataflow Model for Parallel Unix Pipelines within the Research Papers-track
POPL 2021	Author of Data-Parallel Shell Scripting within the Student Research Competition-track
VMCAI 2021	Committee Member in Artifact Evaluation Committee within the VMCAI-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)
ICSE 2020	Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
PLDI 2020	Presenter of From stateless functions to stateful applications: Azure Durable Functions within the Sponsors-track