Konstantinos Kallas -

Registered user since Sat 8 Feb 2020

Name:Konstantinos Kallas

Affiliation:University of Pennsylvania

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

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