![Konstantinos Kallas](https://conf.researchr.org/getProfileImage/konstantinoskallas/37f80f49-829f-4984-b18b-9fc8f6dfb8be/small.jpg?1711480279000)
Registered user since Sat 8 Feb 2020
Name:Konstantinos Kallas
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://angelhof.github.io/
Research interests:Programming Languages, Distributed Systems, Formal Methods
Contributions
PLDI 2020-profile
View general profile
View general profile