Write a Blog >>
Konstantinos (Kostis) Sagonas

Registered user since Sun 11 Nov 2018

Name:Konstantinos (Kostis) Sagonas
Country:Sweden
Affiliation:Uppsala University, Sweden
Research interests:Software Technology, Programming Languages, Testing and Verification, Security

Contributions

POPL 2020 [T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models
PADL 2020 Session Chair of Invited Experience and Direction Session (part of PADL 2020)
Session Chair of Invited Experience and Direction Session (Continued) (part of PADL 2020)
Show activities from other conferences

POPL 2020-profile
View general profile