• Sign in
  • Sign up
conf.researchr.org / Konstantinos Kallas
  • ICSE 2020 profile
  • PLDI 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • SPLASH 2020 profile
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

Share
xWed 3 Mar 10:11
using conf.researchr.org (v1.43.1)
Support page
Sign Up