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

POPL 2022	Student Volunteer Co-Chair in Organizing Committee
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
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