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 (OOPSLA 2021) Durable functions: semantics for stateful serverless
Show activities from other conferences

Using general profile