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

Show activities from other conferences

PLDI 2022-profile
View general profile