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